f32 <= i32 - 1
