f64 <= i * i32
