1setting FPC rounding mode to [-> near]
2cefbr:  2147483647 -> 2147483648.000000
3setting FPC rounding mode to [-> zero]
4cefbr:  2147483647 -> 2147483520.000000
5setting FPC rounding mode to [-> +inf]
6cefbr:  2147483647 -> 2147483648.000000
7setting FPC rounding mode to [-> -inf]
8cefbr:  2147483647 -> 2147483520.000000
9
10setting FPC rounding mode to [-> near]
11cefbr:  -2147483648 -> -2147483648.000000
12setting FPC rounding mode to [-> zero]
13cefbr:  -2147483648 -> -2147483648.000000
14setting FPC rounding mode to [-> +inf]
15cefbr:  -2147483648 -> -2147483648.000000
16setting FPC rounding mode to [-> -inf]
17cefbr:  -2147483648 -> -2147483648.000000
18
19setting FPC rounding mode to [-> near]
20cegbr:  9223372036854775807 -> 9223372036854775808.000000
21setting FPC rounding mode to [-> zero]
22cegbr:  9223372036854775807 -> 9223371487098961920.000000
23setting FPC rounding mode to [-> +inf]
24cegbr:  9223372036854775807 -> 9223372036854775808.000000
25setting FPC rounding mode to [-> -inf]
26cegbr:  9223372036854775807 -> 9223371487098961920.000000
27
28setting FPC rounding mode to [-> near]
29cegbr:  -9223372036854775808 -> -9223372036854775808.000000
30setting FPC rounding mode to [-> zero]
31cegbr:  -9223372036854775808 -> -9223372036854775808.000000
32setting FPC rounding mode to [-> +inf]
33cegbr:  -9223372036854775808 -> -9223372036854775808.000000
34setting FPC rounding mode to [-> -inf]
35cegbr:  -9223372036854775808 -> -9223372036854775808.000000
36
37setting FPC rounding mode to [-> near]
38cegbr:  9223372036854775807 -> 9223372036854775808.000000
39setting FPC rounding mode to [-> zero]
40cegbr:  9223372036854775807 -> 9223372036854774784.000000
41setting FPC rounding mode to [-> +inf]
42cegbr:  9223372036854775807 -> 9223372036854775808.000000
43setting FPC rounding mode to [-> -inf]
44cegbr:  9223372036854775807 -> 9223372036854774784.000000
45
46setting FPC rounding mode to [-> near]
47cegbr:  -9223372036854775808 -> -9223372036854775808.000000
48setting FPC rounding mode to [-> zero]
49cegbr:  -9223372036854775808 -> -9223372036854775808.000000
50setting FPC rounding mode to [-> +inf]
51cegbr:  -9223372036854775808 -> -9223372036854775808.000000
52setting FPC rounding mode to [-> -inf]
53cegbr:  -9223372036854775808 -> -9223372036854775808.000000
54
55