i32 <= f32 * i64
