type(f64 ** 0.5)
