   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> -> %f1
  21  -live- %f0, %f1, %r0
  24  goto_if_not_float_ne %f1, %f0, L2
  29  int_return $False
  31  ---
  31  L2:
  31  residual_call_irf_r $<* fn fromfloat>, I[], R[], F[%f0], <CallDescr(f) EF=4> -> %r1
  40  -live- %r0, %r1
  43  residual_call_r_i $<* fn rbigint.eq>, R[%r1, %r0], <CallDescr(rr) EF=0> -> %i0
  51  int_return %i0
  53  ---
  53  L1:
  53  int_return $False
