half(0.5) ** f64
