i32 != max(f64, 0.5)
