   0  inline_call_irf_f <JitCode 'Bool.unbox'>, I[], R[%r0, %r1], F[] -> %f0
   9  -live- %f0, %r0, %r2
   9  inline_call_irf_f <JitCode 'Bool.unbox'>, I[], R[%r0, %r2], F[] -> %f1
  18  -live- %f0, %f1
  18  -live- %f0, %f1
  18  goto_if_not_float_ge %f0, %f1, L1
  23  int_return $True
  25  ---
  25  L1:
  25  float_ne %f0, %f0 -> %i0
  29  int_return %i0
