Otherwise converting large floats to ints will fail (as seen by the builtin_float_hash.py test).
In this port JavaScript is the underlying "machine" and MicroPython is transmuted into JavaScript by Emscripten. MicroPython can then run under Node.js or in the browser.