It seems that certain small numbers are represented as integers, as (* 4294967296 4294967296) results in 0, but (* 3294967296 3294967296) returns the correct value of 10856809481709551616. In addition, (ash 1 64) gives 0, but (ash 1 65) works correctly.