i64 != half(0.5)
