float(0.5 ^ f64)
