f32 <= i32 * i64
