i64 <= f32 + 1
