   0  float_sub %f0, %f0 -> %f1
   4  -live- %f0, %f1, %r0
   7  goto_if_not_float_eq %f1, $0.0, L1
  12  residual_call_irf_f $<* fn floor>, I[], R[], F[%f0], <CallDescr(f) EF=0> -> %f0
  21  residual_call_irf_r $<* fn fromfloat>, I[], R[], F[%f0], <CallDescr(f) EF=4> -> %r1
  30  -live- %r0, %r1
  33  residual_call_r_i $<* fn rbigint.lt>, R[%r1, %r0], <CallDescr(rr) EF=0> -> %i0
  41  -live- %i0
  44  goto_if_not %i0, L2
  48  int_return $False
  50  ---
  50  L2:
  50  int_return $True
  52  ---
  52  L1:
  52  float_ge %f0, $0.0 -> %i0
  56  int_return %i0
