i64 < half(0.5)
