i32 <= float(i)
