half(0.5 ^ f64)
