4.249907000342190599e+00