class Float

def prev_float
  return -Float::INFINITY if self == -Float::INFINITY
  Backports.integer_to_float(Backports.float_to_integer(self) - 1)
end