Floating point bytecodes