half(0.5) >= f64
