(i32 - f32) * i32
