module test import StdInt Start = convert_float_in_int_to_real ((convert_real_to_float_in_int 3936146074321813505.0) bitand 0xffffffff ) convert_real_to_float_in_int :: !Real -> Int; convert_real_to_float_in_int r = code { | cvtsd2ss %xmm0,%xmm0 instruction 242 instruction 15 instruction 90 instruction 192 }; convert_float_in_int_to_real :: !Int -> Real; convert_float_in_int_to_real r = code { .d 0 1 r jmp _convert_float_in_int_to_real_ .o 0 1 r :_convert_float_in_int_to_real_ | cvtss2ds %xmm0,%xmm0 instruction 243 instruction 15 instruction 90 instruction 192 };