5 Start = convert_float_in_int_to_real
6 ((convert_real_to_float_in_int 3936146074321813505.0) bitand 0xffffffff )
8 convert_real_to_float_in_int :: !Real -> Int;
9 convert_real_to_float_in_int r = code {
10 | cvtsd2ss %xmm0,%xmm0
17 convert_float_in_int_to_real :: !Int -> Real;
18 convert_float_in_int_to_real r = code {
20 jmp _convert_float_in_int_to_real_
22 :_convert_float_in_int_to_real_
23 | cvtss2ds %xmm0,%xmm0