Approximations of the square root of 10