8.283131546667124923e+00