f32 <= i64 * i
