which number is larger 0.707 or 0.71?