float(ok ? f64 : half)
