i32 * (f32 + 1)
