i32 / (0.5 + i32)
