We have 5.000000e+00.