i64 <= f32 / f32
