f64 >= half(f64)
