+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
+};