-max(i32, 0.5)
