frac(sqrt(2))