float(f64 ^ 0.5)
