max(f64, half(f64))
