Under the hood, when evaluating (x * y) in C/C++ and (* x y) in Lisp, what multiplication algorithms are used? Something faster, like Karatsuba, or naive multiplication? Broadly