4.266523409176565806e+00