i32 / abs(0.5)
