bytecode encoding doesn't work on non intel platforms

Bytecode encoding a Real is implemented with assembly instructions. This should be ported to ARM as well.