8.029703439237035667e+00