i32 * f64 > i32
