(i32 + 1) * f64
