i64 >= half(0.5)
