f64 != half(0.5)
