i32 - min(0.5)
