8 if (floor(x
) /= 94906265) STOP 1
9 if (floor(2.0d0**26.5d0)/= 94906265) STOP 2
11 if (floor(x
) /= 777666555) STOP 3
12 if (floor(777666555.6d0) /= 777666555) STOP 4
14 if (floor(x
) /= 2000111222) STOP 5
15 if (floor(2000111222.6d0) /= 2000111222) STOP 6