We have 5.000000E+00.