i32 == half(0.5)
