f64 <= half(0.5)
