[MLton-commit] r5763

Wed Jul 11 13:34:57 PDT 2007

Regression test demonstrating bug in Real.toInt
----------------------------------------------------------------------

A   mlton/trunk/regression/real-int.ok
A   mlton/trunk/regression/real-int.sml

----------------------------------------------------------------------

Added: mlton/trunk/regression/real-int.ok
===================================================================

--- mlton/trunk/regression/real-int.ok	2007-07-11 19:32:36 UTC (rev 5762)
+++ mlton/trunk/regression/real-int.ok	2007-07-11 20:34:47 UTC (rev 5763)
@@ -0,0 +1,27918 @@
+[~2147483648,~2147483648] --> [~0.2147483648E10,~0.2147483648E10] --> OK
+[~2147483647,~2147483647] --> [~0.2147483648E10,~0.2147483648E10] --> OK
+[~2147483646,~2147483646] --> [~0.2147483648E10,~0.2147483648E10] --> OK
+[~2147483645,~2147483645] --> [~0.2147483648E10,~0.2147483648E10] --> OK
+[~2113929217,~2113929217] --> [~0.2113929216E10,~0.2113929216E10] --> OK
+[~2080374785,~2080374785] --> [~0.2080374784E10,~0.2080374784E10] --> OK
+[~2013265921,~2013265921] --> [~0.201326592E10,~0.201326592E10] --> OK
+[~1879048193,~1879048193] --> [~0.1879048192E10,~0.1879048192E10] --> OK
+[~1610612737,~1610612737] --> [~0.1610612736E10,~0.1610612736E10] --> OK
+[~1073741825,~1073741825] --> [~0.1073741824E10,~0.1073741824E10] --> OK
+[~3,~3] --> [~0.3E1,~0.3E1] --> OK
+[~2,~2] --> [~0.2E1,~0.2E1] --> OK
+[~1,~1] --> [~0.1E1,~0.1E1] --> OK
+[0,0] --> [0.0,0.0] --> OK
+[1,1] --> [0.1E1,0.1E1] --> OK
+[2,2] --> [0.2E1,0.2E1] --> OK
+[3,3] --> [0.3E1,0.3E1] --> OK
+[1073741824,1073741824] --> [0.1073741824E10,0.1073741824E10] --> OK
+[1610612736,1610612736] --> [0.1610612736E10,0.1610612736E10] --> OK
+[1879048192,1879048192] --> [0.1879048192E10,0.1879048192E10] --> OK
+[2013265920,2013265920] --> [0.201326592E10,0.201326592E10] --> OK
+[2080374784,2080374784] --> [0.2080374784E10,0.2080374784E10] --> OK
+[2113929216,2113929216] --> [0.2113929216E10,0.2113929216E10] --> OK
+[2147483644,2147483644] --> [0.2147483648E10,0.2147483648E10] --> OK
+[2147483645,2147483645] --> [0.2147483648E10,0.2147483648E10] --> OK
+[2147483646,2147483646] --> [0.2147483648E10,0.2147483648E10] --> OK
+[2147483647,2147483647] --> [0.2147483648E10,0.2147483648E10] --> OK
+[~0.2147500032E10,TO_NEAREST] --> [Overflow,~2147500032] --> OK
+[~0.2147499776E10,TO_NEAREST] --> [Overflow,~2147499776] --> OK
+[~0.214749952E10,TO_NEAREST] --> [Overflow,~2147499520] --> OK
+[~0.2147499264E10,TO_NEAREST] --> [Overflow,~2147499264] --> OK
+[~0.2147499008E10,TO_NEAREST] --> [Overflow,~2147499008] --> OK
+[~0.2147498752E10,TO_NEAREST] --> [Overflow,~2147498752] --> OK
+[~0.2147498496E10,TO_NEAREST] --> [Overflow,~2147498496] --> OK
+[~0.214749824E10,TO_NEAREST] --> [Overflow,~2147498240] --> OK
+[~0.2147497984E10,TO_NEAREST] --> [Overflow,~2147497984] --> OK
+[~0.2147497728E10,TO_NEAREST] --> [Overflow,~2147497728] --> OK
+[~0.2147497472E10,TO_NEAREST] --> [Overflow,~2147497472] --> OK
+[~0.2147497216E10,TO_NEAREST] --> [Overflow,~2147497216] --> OK
+[~0.214749696E10,TO_NEAREST] --> [Overflow,~2147496960] --> OK
+[~0.2147496704E10,TO_NEAREST] --> [Overflow,~2147496704] --> OK
+[~0.2147496448E10,TO_NEAREST] --> [Overflow,~2147496448] --> OK
+[~0.2147496192E10,TO_NEAREST] --> [Overflow,~2147496192] --> OK
+[~0.2147495936E10,TO_NEAREST] --> [Overflow,~2147495936] --> OK
+[~0.214749568E10,TO_NEAREST] --> [Overflow,~2147495680] --> OK
+[~0.2147495424E10,TO_NEAREST] --> [Overflow,~2147495424] --> OK
+[~0.2147495168E10,TO_NEAREST] --> [Overflow,~2147495168] --> OK
+[~0.2147494912E10,TO_NEAREST] --> [Overflow,~2147494912] --> OK
+[~0.2147494656E10,TO_NEAREST] --> [Overflow,~2147494656] --> OK
+[~0.21474944E10,TO_NEAREST] --> [Overflow,~2147494400] --> OK
+[~0.2147494144E10,TO_NEAREST] --> [Overflow,~2147494144] --> OK
+[~0.2147493888E10,TO_NEAREST] --> [Overflow,~2147493888] --> OK
+[~0.2147493632E10,TO_NEAREST] --> [Overflow,~2147493632] --> OK
+[~0.2147493376E10,TO_NEAREST] --> [Overflow,~2147493376] --> OK
+[~0.214749312E10,TO_NEAREST] --> [Overflow,~2147493120] --> OK
+[~0.2147492864E10,TO_NEAREST] --> [Overflow,~2147492864] --> OK
+[~0.2147492608E10,TO_NEAREST] --> [Overflow,~2147492608] --> OK
+[~0.2147492352E10,TO_NEAREST] --> [Overflow,~2147492352] --> OK
+[~0.2147492096E10,TO_NEAREST] --> [Overflow,~2147492096] --> OK
+[~0.214749184E10,TO_NEAREST] --> [Overflow,~2147491840] --> OK
+[~0.2147491584E10,TO_NEAREST] --> [Overflow,~2147491584] --> OK
+[~0.2147491328E10,TO_NEAREST] --> [Overflow,~2147491328] --> OK
+[~0.2147491072E10,TO_NEAREST] --> [Overflow,~2147491072] --> OK
+[~0.2147490816E10,TO_NEAREST] --> [Overflow,~2147490816] --> OK
+[~0.214749056E10,TO_NEAREST] --> [Overflow,~2147490560] --> OK
+[~0.2147490304E10,TO_NEAREST] --> [Overflow,~2147490304] --> OK
+[~0.2147490048E10,TO_NEAREST] --> [Overflow,~2147490048] --> OK
+[~0.2147489792E10,TO_NEAREST] --> [Overflow,~2147489792] --> OK
+[~0.2147489536E10,TO_NEAREST] --> [Overflow,~2147489536] --> OK
+[~0.214748928E10,TO_NEAREST] --> [Overflow,~2147489280] --> OK
+[~0.2147489024E10,TO_NEAREST] --> [Overflow,~2147489024] --> OK
+[~0.2147488768E10,TO_NEAREST] --> [Overflow,~2147488768] --> OK
+[~0.2147488512E10,TO_NEAREST] --> [Overflow,~2147488512] --> OK
+[~0.2147488256E10,TO_NEAREST] --> [Overflow,~2147488256] --> OK
+[~0.2147488E10,TO_NEAREST] --> [Overflow,~2147488000] --> OK
+[~0.2147487744E10,TO_NEAREST] --> [Overflow,~2147487744] --> OK
+[~0.2147487488E10,TO_NEAREST] --> [Overflow,~2147487488] --> OK
+[~0.2147487232E10,TO_NEAREST] --> [Overflow,~2147487232] --> OK
+[~0.2147486976E10,TO_NEAREST] --> [Overflow,~2147486976] --> OK
+[~0.214748672E10,TO_NEAREST] --> [Overflow,~2147486720] --> OK
+[~0.2147486464E10,TO_NEAREST] --> [Overflow,~2147486464] --> OK
+[~0.2147486208E10,TO_NEAREST] --> [Overflow,~2147486208] --> OK
+[~0.2147485952E10,TO_NEAREST] --> [Overflow,~2147485952] --> OK
+[~0.2147485696E10,TO_NEAREST] --> [Overflow,~2147485696] --> OK
+[~0.214748544E10,TO_NEAREST] --> [Overflow,~2147485440] --> OK
+[~0.2147485184E10,TO_NEAREST] --> [Overflow,~2147485184] --> OK
+[~0.2147484928E10,TO_NEAREST] --> [Overflow,~2147484928] --> OK
+[~0.2147484672E10,TO_NEAREST] --> [Overflow,~2147484672] --> OK
+[~0.2147484416E10,TO_NEAREST] --> [Overflow,~2147484416] --> OK
+[~0.214748416E10,TO_NEAREST] --> [Overflow,~2147484160] --> OK
+[~0.2147483904E10,TO_NEAREST] --> [Overflow,~2147483904] --> OK
+[~0.2147483648E10,TO_NEAREST] --> [~2147483648,~2147483648] --> OK
+[~0.2147475456E10,TO_NEAREST] --> [~2147475456,~2147475456] --> OK
+[~0.2147475584E10,TO_NEAREST] --> [~2147475584,~2147475584] --> OK
+[~0.2147475712E10,TO_NEAREST] --> [~2147475712,~2147475712] --> OK
+[~0.214747584E10,TO_NEAREST] --> [~2147475840,~2147475840] --> OK
+[~0.2147475968E10,TO_NEAREST] --> [~2147475968,~2147475968] --> OK
+[~0.2147476096E10,TO_NEAREST] --> [~2147476096,~2147476096] --> OK
+[~0.2147476224E10,TO_NEAREST] --> [~2147476224,~2147476224] --> OK
+[~0.2147476352E10,TO_NEAREST] --> [~2147476352,~2147476352] --> OK
+[~0.214747648E10,TO_NEAREST] --> [~2147476480,~2147476480] --> OK
+[~0.2147476608E10,TO_NEAREST] --> [~2147476608,~2147476608] --> OK
+[~0.2147476736E10,TO_NEAREST] --> [~2147476736,~2147476736] --> OK
+[~0.2147476864E10,TO_NEAREST] --> [~2147476864,~2147476864] --> OK
+[~0.2147476992E10,TO_NEAREST] --> [~2147476992,~2147476992] --> OK
+[~0.214747712E10,TO_NEAREST] --> [~2147477120,~2147477120] --> OK
+[~0.2147477248E10,TO_NEAREST] --> [~2147477248,~2147477248] --> OK
+[~0.2147477376E10,TO_NEAREST] --> [~2147477376,~2147477376] --> OK
+[~0.2147477504E10,TO_NEAREST] --> [~2147477504,~2147477504] --> OK
+[~0.2147477632E10,TO_NEAREST] --> [~2147477632,~2147477632] --> OK
+[~0.214747776E10,TO_NEAREST] --> [~2147477760,~2147477760] --> OK
+[~0.2147477888E10,TO_NEAREST] --> [~2147477888,~2147477888] --> OK
+[~0.2147478016E10,TO_NEAREST] --> [~2147478016,~2147478016] --> OK
+[~0.2147478144E10,TO_NEAREST] --> [~2147478144,~2147478144] --> OK
+[~0.2147478272E10,TO_NEAREST] --> [~2147478272,~2147478272] --> OK
+[~0.21474784E10,TO_NEAREST] --> [~2147478400,~2147478400] --> OK
+[~0.2147478528E10,TO_NEAREST] --> [~2147478528,~2147478528] --> OK
+[~0.2147478656E10,TO_NEAREST] --> [~2147478656,~2147478656] --> OK
+[~0.2147478784E10,TO_NEAREST] --> [~2147478784,~2147478784] --> OK
+[~0.2147478912E10,TO_NEAREST] --> [~2147478912,~2147478912] --> OK
+[~0.214747904E10,TO_NEAREST] --> [~2147479040,~2147479040] --> OK
+[~0.2147479168E10,TO_NEAREST] --> [~2147479168,~2147479168] --> OK
+[~0.2147479296E10,TO_NEAREST] --> [~2147479296,~2147479296] --> OK
+[~0.2147479424E10,TO_NEAREST] --> [~2147479424,~2147479424] --> OK
+[~0.2147479552E10,TO_NEAREST] --> [~2147479552,~2147479552] --> OK
+[~0.214747968E10,TO_NEAREST] --> [~2147479680,~2147479680] --> OK
+[~0.2147479808E10,TO_NEAREST] --> [~2147479808,~2147479808] --> OK
+[~0.2147479936E10,TO_NEAREST] --> [~2147479936,~2147479936] --> OK
+[~0.2147480064E10,TO_NEAREST] --> [~2147480064,~2147480064] --> OK
+[~0.2147480192E10,TO_NEAREST] --> [~2147480192,~2147480192] --> OK
+[~0.214748032E10,TO_NEAREST] --> [~2147480320,~2147480320] --> OK
+[~0.2147480448E10,TO_NEAREST] --> [~2147480448,~2147480448] --> OK
+[~0.2147480576E10,TO_NEAREST] --> [~2147480576,~2147480576] --> OK
+[~0.2147480704E10,TO_NEAREST] --> [~2147480704,~2147480704] --> OK
+[~0.2147480832E10,TO_NEAREST] --> [~2147480832,~2147480832] --> OK
+[~0.214748096E10,TO_NEAREST] --> [~2147480960,~2147480960] --> OK
+[~0.2147481088E10,TO_NEAREST] --> [~2147481088,~2147481088] --> OK
+[~0.2147481216E10,TO_NEAREST] --> [~2147481216,~2147481216] --> OK
+[~0.2147481344E10,TO_NEAREST] --> [~2147481344,~2147481344] --> OK
+[~0.2147481472E10,TO_NEAREST] --> [~2147481472,~2147481472] --> OK
+[~0.21474816E10,TO_NEAREST] --> [~2147481600,~2147481600] --> OK
+[~0.2147481728E10,TO_NEAREST] --> [~2147481728,~2147481728] --> OK
+[~0.2147481856E10,TO_NEAREST] --> [~2147481856,~2147481856] --> OK
+[~0.2147481984E10,TO_NEAREST] --> [~2147481984,~2147481984] --> OK
+[~0.2147482112E10,TO_NEAREST] --> [~2147482112,~2147482112] --> OK
+[~0.214748224E10,TO_NEAREST] --> [~2147482240,~2147482240] --> OK
+[~0.2147482368E10,TO_NEAREST] --> [~2147482368,~2147482368] --> OK
+[~0.2147482496E10,TO_NEAREST] --> [~2147482496,~2147482496] --> OK
+[~0.2147482624E10,TO_NEAREST] --> [~2147482624,~2147482624] --> OK
+[~0.2147482752E10,TO_NEAREST] --> [~2147482752,~2147482752] --> OK
+[~0.214748288E10,TO_NEAREST] --> [~2147482880,~2147482880] --> OK
+[~0.2147483008E10,TO_NEAREST] --> [~2147483008,~2147483008] --> OK
+[~0.2147483136E10,TO_NEAREST] --> [~2147483136,~2147483136] --> OK
+[~0.2147483264E10,TO_NEAREST] --> [~2147483264,~2147483264] --> OK
+[~0.2147483392E10,TO_NEAREST] --> [~2147483392,~2147483392] --> OK
+[~0.214748352E10,TO_NEAREST] --> [~2147483520,~2147483520] --> OK
+[~0.2147500032E10,TO_NEAREST] --> [Overflow,~2147500032] --> OK
+[~0.2147499776E10,TO_NEAREST] --> [Overflow,~2147499776] --> OK
+[~0.214749952E10,TO_NEAREST] --> [Overflow,~2147499520] --> OK
+[~0.2147499264E10,TO_NEAREST] --> [Overflow,~2147499264] --> OK
+[~0.2147499008E10,TO_NEAREST] --> [Overflow,~2147499008] --> OK
+[~0.2147498752E10,TO_NEAREST] --> [Overflow,~2147498752] --> OK
+[~0.2147498496E10,TO_NEAREST] --> [Overflow,~2147498496] --> OK
+[~0.214749824E10,TO_NEAREST] --> [Overflow,~2147498240] --> OK
+[~0.2147497984E10,TO_NEAREST] --> [Overflow,~2147497984] --> OK
+[~0.2147497728E10,TO_NEAREST] --> [Overflow,~2147497728] --> OK
+[~0.2147497472E10,TO_NEAREST] --> [Overflow,~2147497472] --> OK
+[~0.2147497216E10,TO_NEAREST] --> [Overflow,~2147497216] --> OK
+[~0.214749696E10,TO_NEAREST] --> [Overflow,~2147496960] --> OK
+[~0.2147496704E10,TO_NEAREST] --> [Overflow,~2147496704] --> OK
+[~0.2147496448E10,TO_NEAREST] --> [Overflow,~2147496448] --> OK
+[~0.2147496192E10,TO_NEAREST] --> [Overflow,~2147496192] --> OK
+[~0.2147495936E10,TO_NEAREST] --> [Overflow,~2147495936] --> OK
+[~0.214749568E10,TO_NEAREST] --> [Overflow,~2147495680] --> OK
+[~0.2147495424E10,TO_NEAREST] --> [Overflow,~2147495424] --> OK
+[~0.2147495168E10,TO_NEAREST] --> [Overflow,~2147495168] --> OK
+[~0.2147494912E10,TO_NEAREST] --> [Overflow,~2147494912] --> OK
+[~0.2147494656E10,TO_NEAREST] --> [Overflow,~2147494656] --> OK
+[~0.21474944E10,TO_NEAREST] --> [Overflow,~2147494400] --> OK
+[~0.2147494144E10,TO_NEAREST] --> [Overflow,~2147494144] --> OK
+[~0.2147493888E10,TO_NEAREST] --> [Overflow,~2147493888] --> OK
+[~0.2147493632E10,TO_NEAREST] --> [Overflow,~2147493632] --> OK
+[~0.2147493376E10,TO_NEAREST] --> [Overflow,~2147493376] --> OK
+[~0.214749312E10,TO_NEAREST] --> [Overflow,~2147493120] --> OK
+[~0.2147492864E10,TO_NEAREST] --> [Overflow,~2147492864] --> OK
+[~0.2147492608E10,TO_NEAREST] --> [Overflow,~2147492608] --> OK
+[~0.2147492352E10,TO_NEAREST] --> [Overflow,~2147492352] --> OK
+[~0.2147492096E10,TO_NEAREST] --> [Overflow,~2147492096] --> OK
+[~0.214749184E10,TO_NEAREST] --> [Overflow,~2147491840] --> OK
+[~0.2147491584E10,TO_NEAREST] --> [Overflow,~2147491584] --> OK
+[~0.2147491328E10,TO_NEAREST] --> [Overflow,~2147491328] --> OK
+[~0.2147491072E10,TO_NEAREST] --> [Overflow,~2147491072] --> OK
+[~0.2147490816E10,TO_NEAREST] --> [Overflow,~2147490816] --> OK
+[~0.214749056E10,TO_NEAREST] --> [Overflow,~2147490560] --> OK
+[~0.2147490304E10,TO_NEAREST] --> [Overflow,~2147490304] --> OK
+[~0.2147490048E10,TO_NEAREST] --> [Overflow,~2147490048] --> OK
+[~0.2147489792E10,TO_NEAREST] --> [Overflow,~2147489792] --> OK
+[~0.2147489536E10,TO_NEAREST] --> [Overflow,~2147489536] --> OK
+[~0.214748928E10,TO_NEAREST] --> [Overflow,~2147489280] --> OK
+[~0.2147489024E10,TO_NEAREST] --> [Overflow,~2147489024] --> OK
+[~0.2147488768E10,TO_NEAREST] --> [Overflow,~2147488768] --> OK
+[~0.2147488512E10,TO_NEAREST] --> [Overflow,~2147488512] --> OK
+[~0.2147488256E10,TO_NEAREST] --> [Overflow,~2147488256] --> OK
+[~0.2147488E10,TO_NEAREST] --> [Overflow,~2147488000] --> OK
+[~0.2147487744E10,TO_NEAREST] --> [Overflow,~2147487744] --> OK
+[~0.2147487488E10,TO_NEAREST] --> [Overflow,~2147487488] --> OK
+[~0.2147487232E10,TO_NEAREST] --> [Overflow,~2147487232] --> OK
+[~0.2147486976E10,TO_NEAREST] --> [Overflow,~2147486976] --> OK
+[~0.214748672E10,TO_NEAREST] --> [Overflow,~2147486720] --> OK
+[~0.2147486464E10,TO_NEAREST] --> [Overflow,~2147486464] --> OK
+[~0.2147486208E10,TO_NEAREST] --> [Overflow,~2147486208] --> OK
+[~0.2147485952E10,TO_NEAREST] --> [Overflow,~2147485952] --> OK
+[~0.2147485696E10,TO_NEAREST] --> [Overflow,~2147485696] --> OK
+[~0.214748544E10,TO_NEAREST] --> [Overflow,~2147485440] --> OK
+[~0.2147485184E10,TO_NEAREST] --> [Overflow,~2147485184] --> OK
+[~0.2147484928E10,TO_NEAREST] --> [Overflow,~2147484928] --> OK
+[~0.2147484672E10,TO_NEAREST] --> [Overflow,~2147484672] --> OK
+[~0.2147484416E10,TO_NEAREST] --> [Overflow,~2147484416] --> OK
+[~0.214748416E10,TO_NEAREST] --> [Overflow,~2147484160] --> OK
+[~0.2147483904E10,TO_NEAREST] --> [Overflow,~2147483904] --> OK
+[~0.2147483648E10,TO_NEAREST] --> [~2147483648,~2147483648] --> OK
+[~0.2147475456E10,TO_NEAREST] --> [~2147475456,~2147475456] --> OK
+[~0.2147475584E10,TO_NEAREST] --> [~2147475584,~2147475584] --> OK
+[~0.2147475712E10,TO_NEAREST] --> [~2147475712,~2147475712] --> OK
+[~0.214747584E10,TO_NEAREST] --> [~2147475840,~2147475840] --> OK
+[~0.2147475968E10,TO_NEAREST] --> [~2147475968,~2147475968] --> OK
+[~0.2147476096E10,TO_NEAREST] --> [~2147476096,~2147476096] --> OK
+[~0.2147476224E10,TO_NEAREST] --> [~2147476224,~2147476224] --> OK
+[~0.2147476352E10,TO_NEAREST] --> [~2147476352,~2147476352] --> OK
+[~0.214747648E10,TO_NEAREST] --> [~2147476480,~2147476480] --> OK
+[~0.2147476608E10,TO_NEAREST] --> [~2147476608,~2147476608] --> OK
+[~0.2147476736E10,TO_NEAREST] --> [~2147476736,~2147476736] --> OK
+[~0.2147476864E10,TO_NEAREST] --> [~2147476864,~2147476864] --> OK
+[~0.2147476992E10,TO_NEAREST] --> [~2147476992,~2147476992] --> OK
+[~0.214747712E10,TO_NEAREST] --> [~2147477120,~2147477120] --> OK
+[~0.2147477248E10,TO_NEAREST] --> [~2147477248,~2147477248] --> OK
+[~0.2147477376E10,TO_NEAREST] --> [~2147477376,~2147477376] --> OK
+[~0.2147477504E10,TO_NEAREST] --> [~2147477504,~2147477504] --> OK
+[~0.2147477632E10,TO_NEAREST] --> [~2147477632,~2147477632] --> OK
+[~0.214747776E10,TO_NEAREST] --> [~2147477760,~2147477760] --> OK
+[~0.2147477888E10,TO_NEAREST] --> [~2147477888,~2147477888] --> OK
+[~0.2147478016E10,TO_NEAREST] --> [~2147478016,~2147478016] --> OK
+[~0.2147478144E10,TO_NEAREST] --> [~2147478144,~2147478144] --> OK
+[~0.2147478272E10,TO_NEAREST] --> [~2147478272,~2147478272] --> OK
+[~0.21474784E10,TO_NEAREST] --> [~2147478400,~2147478400] --> OK
+[~0.2147478528E10,TO_NEAREST] --> [~2147478528,~2147478528] --> OK
+[~0.2147478656E10,TO_NEAREST] --> [~2147478656,~2147478656] --> OK
+[~0.2147478784E10,TO_NEAREST] --> [~2147478784,~2147478784] --> OK
+[~0.2147478912E10,TO_NEAREST] --> [~2147478912,~2147478912] --> OK
+[~0.214747904E10,TO_NEAREST] --> [~2147479040,~2147479040] --> OK
+[~0.2147479168E10,TO_NEAREST] --> [~2147479168,~2147479168] --> OK
+[~0.2147479296E10,TO_NEAREST] --> [~2147479296,~2147479296] --> OK
+[~0.2147479424E10,TO_NEAREST] --> [~2147479424,~2147479424] --> OK
+[~0.2147479552E10,TO_NEAREST] --> [~2147479552,~2147479552] --> OK
+[~0.214747968E10,TO_NEAREST] --> [~2147479680,~2147479680] --> OK
+[~0.2147479808E10,TO_NEAREST] --> [~2147479808,~2147479808] --> OK
+[~0.2147479936E10,TO_NEAREST] --> [~2147479936,~2147479936] --> OK
+[~0.2147480064E10,TO_NEAREST] --> [~2147480064,~2147480064] --> OK
+[~0.2147480192E10,TO_NEAREST] --> [~2147480192,~2147480192] --> OK
+[~0.214748032E10,TO_NEAREST] --> [~2147480320,~2147480320] --> OK
+[~0.2147480448E10,TO_NEAREST] --> [~2147480448,~2147480448] --> OK
+[~0.2147480576E10,TO_NEAREST] --> [~2147480576,~2147480576] --> OK
+[~0.2147480704E10,TO_NEAREST] --> [~2147480704,~2147480704] --> OK
+[~0.2147480832E10,TO_NEAREST] --> [~2147480832,~2147480832] --> OK
+[~0.214748096E10,TO_NEAREST] --> [~2147480960,~2147480960] --> OK
+[~0.2147481088E10,TO_NEAREST] --> [~2147481088,~2147481088] --> OK
+[~0.2147481216E10,TO_NEAREST] --> [~2147481216,~2147481216] --> OK
+[~0.2147481344E10,TO_NEAREST] --> [~2147481344,~2147481344] --> OK
+[~0.2147481472E10,TO_NEAREST] --> [~2147481472,~2147481472] --> OK
+[~0.21474816E10,TO_NEAREST] --> [~2147481600,~2147481600] --> OK
+[~0.2147481728E10,TO_NEAREST] --> [~2147481728,~2147481728] --> OK
+[~0.2147481856E10,TO_NEAREST] --> [~2147481856,~2147481856] --> OK
+[~0.2147481984E10,TO_NEAREST] --> [~2147481984,~2147481984] --> OK
+[~0.2147482112E10,TO_NEAREST] --> [~2147482112,~2147482112] --> OK
+[~0.214748224E10,TO_NEAREST] --> [~2147482240,~2147482240] --> OK
+[~0.2147482368E10,TO_NEAREST] --> [~2147482368,~2147482368] --> OK
+[~0.2147482496E10,TO_NEAREST] --> [~2147482496,~2147482496] --> OK
+[~0.2147482624E10,TO_NEAREST] --> [~2147482624,~2147482624] --> OK
+[~0.2147482752E10,TO_NEAREST] --> [~2147482752,~2147482752] --> OK
+[~0.214748288E10,TO_NEAREST] --> [~2147482880,~2147482880] --> OK
+[~0.2147483008E10,TO_NEAREST] --> [~2147483008,~2147483008] --> OK
+[~0.2147483136E10,TO_NEAREST] --> [~2147483136,~2147483136] --> OK
+[~0.2147483264E10,TO_NEAREST] --> [~2147483264,~2147483264] --> OK
+[~0.2147483392E10,TO_NEAREST] --> [~2147483392,~2147483392] --> OK
+[~0.214748352E10,TO_NEAREST] --> [~2147483520,~2147483520] --> OK
+[~0.2147500032E10,TO_NEAREST] --> [Overflow,~2147500032] --> OK
+[~0.2147499776E10,TO_NEAREST] --> [Overflow,~2147499776] --> OK
+[~0.214749952E10,TO_NEAREST] --> [Overflow,~2147499520] --> OK
+[~0.2147499264E10,TO_NEAREST] --> [Overflow,~2147499264] --> OK
+[~0.2147499008E10,TO_NEAREST] --> [Overflow,~2147499008] --> OK
+[~0.2147498752E10,TO_NEAREST] --> [Overflow,~2147498752] --> OK
+[~0.2147498496E10,TO_NEAREST] --> [Overflow,~2147498496] --> OK
+[~0.214749824E10,TO_NEAREST] --> [Overflow,~2147498240] --> OK
+[~0.2147497984E10,TO_NEAREST] --> [Overflow,~2147497984] --> OK
+[~0.2147497728E10,TO_NEAREST] --> [Overflow,~2147497728] --> OK
+[~0.2147497472E10,TO_NEAREST] --> [Overflow,~2147497472] --> OK
+[~0.2147497216E10,TO_NEAREST] --> [Overflow,~2147497216] --> OK
+[~0.214749696E10,TO_NEAREST] --> [Overflow,~2147496960] --> OK
+[~0.2147496704E10,TO_NEAREST] --> [Overflow,~2147496704] --> OK
+[~0.2147496448E10,TO_NEAREST] --> [Overflow,~2147496448] --> OK
+[~0.2147496192E10,TO_NEAREST] --> [Overflow,~2147496192] --> OK
+[~0.2147495936E10,TO_NEAREST] --> [Overflow,~2147495936] --> OK
+[~0.214749568E10,TO_NEAREST] --> [Overflow,~2147495680] --> OK
+[~0.2147495424E10,TO_NEAREST] --> [Overflow,~2147495424] --> OK
+[~0.2147495168E10,TO_NEAREST] --> [Overflow,~2147495168] --> OK
+[~0.2147494912E10,TO_NEAREST] --> [Overflow,~2147494912] --> OK
+[~0.2147494656E10,TO_NEAREST] --> [Overflow,~2147494656] --> OK
+[~0.21474944E10,TO_NEAREST] --> [Overflow,~2147494400] --> OK
+[~0.2147494144E10,TO_NEAREST] --> [Overflow,~2147494144] --> OK
+[~0.2147493888E10,TO_NEAREST] --> [Overflow,~2147493888] --> OK
+[~0.2147493632E10,TO_NEAREST] --> [Overflow,~2147493632] --> OK
+[~0.2147493376E10,TO_NEAREST] --> [Overflow,~2147493376] --> OK
+[~0.214749312E10,TO_NEAREST] --> [Overflow,~2147493120] --> OK
+[~0.2147492864E10,TO_NEAREST] --> [Overflow,~2147492864] --> OK
+[~0.2147492608E10,TO_NEAREST] --> [Overflow,~2147492608] --> OK
+[~0.2147492352E10,TO_NEAREST] --> [Overflow,~2147492352] --> OK
+[~0.2147492096E10,TO_NEAREST] --> [Overflow,~2147492096] --> OK
+[~0.214749184E10,TO_NEAREST] --> [Overflow,~2147491840] --> OK
+[~0.2147491584E10,TO_NEAREST] --> [Overflow,~2147491584] --> OK
+[~0.2147491328E10,TO_NEAREST] --> [Overflow,~2147491328] --> OK
+[~0.2147491072E10,TO_NEAREST] --> [Overflow,~2147491072] --> OK
+[~0.2147490816E10,TO_NEAREST] --> [Overflow,~2147490816] --> OK
+[~0.214749056E10,TO_NEAREST] --> [Overflow,~2147490560] --> OK
+[~0.2147490304E10,TO_NEAREST] --> [Overflow,~2147490304] --> OK
+[~0.2147490048E10,TO_NEAREST] --> [Overflow,~2147490048] --> OK
+[~0.2147489792E10,TO_NEAREST] --> [Overflow,~2147489792] --> OK
+[~0.2147489536E10,TO_NEAREST] --> [Overflow,~2147489536] --> OK
+[~0.214748928E10,TO_NEAREST] --> [Overflow,~2147489280] --> OK
+[~0.2147489024E10,TO_NEAREST] --> [Overflow,~2147489024] --> OK
+[~0.2147488768E10,TO_NEAREST] --> [Overflow,~2147488768] --> OK
+[~0.2147488512E10,TO_NEAREST] --> [Overflow,~2147488512] --> OK
+[~0.2147488256E10,TO_NEAREST] --> [Overflow,~2147488256] --> OK
+[~0.2147488E10,TO_NEAREST] --> [Overflow,~2147488000] --> OK
+[~0.2147487744E10,TO_NEAREST] --> [Overflow,~2147487744] --> OK
+[~0.2147487488E10,TO_NEAREST] --> [Overflow,~2147487488] --> OK
+[~0.2147487232E10,TO_NEAREST] --> [Overflow,~2147487232] --> OK
+[~0.2147486976E10,TO_NEAREST] --> [Overflow,~2147486976] --> OK
+[~0.214748672E10,TO_NEAREST] --> [Overflow,~2147486720] --> OK
+[~0.2147486464E10,TO_NEAREST] --> [Overflow,~2147486464] --> OK
+[~0.2147486208E10,TO_NEAREST] --> [Overflow,~2147486208] --> OK
+[~0.2147485952E10,TO_NEAREST] --> [Overflow,~2147485952] --> OK
+[~0.2147485696E10,TO_NEAREST] --> [Overflow,~2147485696] --> OK
+[~0.214748544E10,TO_NEAREST] --> [Overflow,~2147485440] --> OK
+[~0.2147485184E10,TO_NEAREST] --> [Overflow,~2147485184] --> OK
+[~0.2147484928E10,TO_NEAREST] --> [Overflow,~2147484928] --> OK
+[~0.2147484672E10,TO_NEAREST] --> [Overflow,~2147484672] --> OK
+[~0.2147484416E10,TO_NEAREST] --> [Overflow,~2147484416] --> OK
+[~0.214748416E10,TO_NEAREST] --> [Overflow,~2147484160] --> OK
+[~0.2147483904E10,TO_NEAREST] --> [Overflow,~2147483904] --> OK
+[~0.2147483648E10,TO_NEAREST] --> [~2147483648,~2147483648] --> OK
+[~0.2147475456E10,TO_NEAREST] --> [~2147475456,~2147475456] --> OK
+[~0.2147475584E10,TO_NEAREST] --> [~2147475584,~2147475584] --> OK
+[~0.2147475712E10,TO_NEAREST] --> [~2147475712,~2147475712] --> OK
+[~0.214747584E10,TO_NEAREST] --> [~2147475840,~2147475840] --> OK
+[~0.2147475968E10,TO_NEAREST] --> [~2147475968,~2147475968] --> OK
+[~0.2147476096E10,TO_NEAREST] --> [~2147476096,~2147476096] --> OK
+[~0.2147476224E10,TO_NEAREST] --> [~2147476224,~2147476224] --> OK
+[~0.2147476352E10,TO_NEAREST] --> [~2147476352,~2147476352] --> OK
+[~0.214747648E10,TO_NEAREST] --> [~2147476480,~2147476480] --> OK
+[~0.2147476608E10,TO_NEAREST] --> [~2147476608,~2147476608] --> OK
+[~0.2147476736E10,TO_NEAREST] --> [~2147476736,~2147476736] --> OK
+[~0.2147476864E10,TO_NEAREST] --> [~2147476864,~2147476864] --> OK
+[~0.2147476992E10,TO_NEAREST] --> [~2147476992,~2147476992] --> OK
+[~0.214747712E10,TO_NEAREST] --> [~2147477120,~2147477120] --> OK
+[~0.2147477248E10,TO_NEAREST] --> [~2147477248,~2147477248] --> OK
+[~0.2147477376E10,TO_NEAREST] --> [~2147477376,~2147477376] --> OK
+[~0.2147477504E10,TO_NEAREST] --> [~2147477504,~2147477504] --> OK
+[~0.2147477632E10,TO_NEAREST] --> [~2147477632,~2147477632] --> OK
+[~0.214747776E10,TO_NEAREST] --> [~2147477760,~2147477760] --> OK
+[~0.2147477888E10,TO_NEAREST] --> [~2147477888,~2147477888] --> OK
+[~0.2147478016E10,TO_NEAREST] --> [~2147478016,~2147478016] --> OK
+[~0.2147478144E10,TO_NEAREST] --> [~2147478144,~2147478144] --> OK
+[~0.2147478272E10,TO_NEAREST] --> [~2147478272,~2147478272] --> OK
+[~0.21474784E10,TO_NEAREST] --> [~2147478400,~2147478400] --> OK
+[~0.2147478528E10,TO_NEAREST] --> [~2147478528,~2147478528] --> OK
+[~0.2147478656E10,TO_NEAREST] --> [~2147478656,~2147478656] --> OK
+[~0.2147478784E10,TO_NEAREST] --> [~2147478784,~2147478784] --> OK
+[~0.2147478912E10,TO_NEAREST] --> [~2147478912,~2147478912] --> OK
+[~0.214747904E10,TO_NEAREST] --> [~2147479040,~2147479040] --> OK
+[~0.2147479168E10,TO_NEAREST] --> [~2147479168,~2147479168] --> OK
+[~0.2147479296E10,TO_NEAREST] --> [~2147479296,~2147479296] --> OK
+[~0.2147479424E10,TO_NEAREST] --> [~2147479424,~2147479424] --> OK
+[~0.2147479552E10,TO_NEAREST] --> [~2147479552,~2147479552] --> OK
+[~0.214747968E10,TO_NEAREST] --> [~2147479680,~2147479680] --> OK
+[~0.2147479808E10,TO_NEAREST] --> [~2147479808,~2147479808] --> OK
+[~0.2147479936E10,TO_NEAREST] --> [~2147479936,~2147479936] --> OK
+[~0.2147480064E10,TO_NEAREST] --> [~2147480064,~2147480064] --> OK
+[~0.2147480192E10,TO_NEAREST] --> [~2147480192,~2147480192] --> OK
+[~0.214748032E10,TO_NEAREST] --> [~2147480320,~2147480320] --> OK
+[~0.2147480448E10,TO_NEAREST] --> [~2147480448,~2147480448] --> OK
+[~0.2147480576E10,TO_NEAREST] --> [~2147480576,~2147480576] --> OK
+[~0.2147480704E10,TO_NEAREST] --> [~2147480704,~2147480704] --> OK
+[~0.2147480832E10,TO_NEAREST] --> [~2147480832,~2147480832] --> OK
+[~0.214748096E10,TO_NEAREST] --> [~2147480960,~2147480960] --> OK
+[~0.2147481088E10,TO_NEAREST] --> [~2147481088,~2147481088] --> OK
+[~0.2147481216E10,TO_NEAREST] --> [~2147481216,~2147481216] --> OK
+[~0.2147481344E10,TO_NEAREST] --> [~2147481344,~2147481344] --> OK
+[~0.2147481472E10,TO_NEAREST] --> [~2147481472,~2147481472] --> OK
+[~0.21474816E10,TO_NEAREST] --> [~2147481600,~2147481600] --> OK
+[~0.2147481728E10,TO_NEAREST] --> [~2147481728,~2147481728] --> OK
+[~0.2147481856E10,TO_NEAREST] --> [~2147481856,~2147481856] --> OK
+[~0.2147481984E10,TO_NEAREST] --> [~2147481984,~2147481984] --> OK
+[~0.2147482112E10,TO_NEAREST] --> [~2147482112,~2147482112] --> OK
+[~0.214748224E10,TO_NEAREST] --> [~2147482240,~2147482240] --> OK
+[~0.2147482368E10,TO_NEAREST] --> [~2147482368,~2147482368] --> OK
+[~0.2147482496E10,TO_NEAREST] --> [~2147482496,~2147482496] --> OK
+[~0.2147482624E10,TO_NEAREST] --> [~2147482624,~2147482624] --> OK
+[~0.2147482752E10,TO_NEAREST] --> [~2147482752,~2147482752] --> OK
+[~0.214748288E10,TO_NEAREST] --> [~2147482880,~2147482880] --> OK
+[~0.2147483008E10,TO_NEAREST] --> [~2147483008,~2147483008] --> OK
+[~0.2147483136E10,TO_NEAREST] --> [~2147483136,~2147483136] --> OK
+[~0.2147483264E10,TO_NEAREST] --> [~2147483264,~2147483264] --> OK
+[~0.2147483392E10,TO_NEAREST] --> [~2147483392,~2147483392] --> OK
+[~0.214748352E10,TO_NEAREST] --> [~2147483520,~2147483520] --> OK
+[~0.2147500032E10,TO_NEAREST] --> [Overflow,~2147500032] --> OK
+[~0.2147499776E10,TO_NEAREST] --> [Overflow,~2147499776] --> OK
+[~0.214749952E10,TO_NEAREST] --> [Overflow,~2147499520] --> OK
+[~0.2147499264E10,TO_NEAREST] --> [Overflow,~2147499264] --> OK
+[~0.2147499008E10,TO_NEAREST] --> [Overflow,~2147499008] --> OK
+[~0.2147498752E10,TO_NEAREST] --> [Overflow,~2147498752] --> OK
+[~0.2147498496E10,TO_NEAREST] --> [Overflow,~2147498496] --> OK
+[~0.214749824E10,TO_NEAREST] --> [Overflow,~2147498240] --> OK
+[~0.2147497984E10,TO_NEAREST] --> [Overflow,~2147497984] --> OK
+[~0.2147497728E10,TO_NEAREST] --> [Overflow,~2147497728] --> OK
+[~0.2147497472E10,TO_NEAREST] --> [Overflow,~2147497472] --> OK
+[~0.2147497216E10,TO_NEAREST] --> [Overflow,~2147497216] --> OK
+[~0.214749696E10,TO_NEAREST] --> [Overflow,~2147496960] --> OK
+[~0.2147496704E10,TO_NEAREST] --> [Overflow,~2147496704] --> OK
+[~0.2147496448E10,TO_NEAREST] --> [Overflow,~2147496448] --> OK
+[~0.2147496192E10,TO_NEAREST] --> [Overflow,~2147496192] --> OK
+[~0.2147495936E10,TO_NEAREST] --> [Overflow,~2147495936] --> OK
+[~0.214749568E10,TO_NEAREST] --> [Overflow,~2147495680] --> OK
+[~0.2147495424E10,TO_NEAREST] --> [Overflow,~2147495424] --> OK
+[~0.2147495168E10,TO_NEAREST] --> [Overflow,~2147495168] --> OK
+[~0.2147494912E10,TO_NEAREST] --> [Overflow,~2147494912] --> OK
+[~0.2147494656E10,TO_NEAREST] --> [Overflow,~2147494656] --> OK
+[~0.21474944E10,TO_NEAREST] --> [Overflow,~2147494400] --> OK
+[~0.2147494144E10,TO_NEAREST] --> [Overflow,~2147494144] --> OK
+[~0.2147493888E10,TO_NEAREST] --> [Overflow,~2147493888] --> OK
+[~0.2147493632E10,TO_NEAREST] --> [Overflow,~2147493632] --> OK
+[~0.2147493376E10,TO_NEAREST] --> [Overflow,~2147493376] --> OK
+[~0.214749312E10,TO_NEAREST] --> [Overflow,~2147493120] --> OK
+[~0.2147492864E10,TO_NEAREST] --> [Overflow,~2147492864] --> OK
+[~0.2147492608E10,TO_NEAREST] --> [Overflow,~2147492608] --> OK
+[~0.2147492352E10,TO_NEAREST] --> [Overflow,~2147492352] --> OK
+[~0.2147492096E10,TO_NEAREST] --> [Overflow,~2147492096] --> OK
+[~0.214749184E10,TO_NEAREST] --> [Overflow,~2147491840] --> OK
+[~0.2147491584E10,TO_NEAREST] --> [Overflow,~2147491584] --> OK
+[~0.2147491328E10,TO_NEAREST] --> [Overflow,~2147491328] --> OK
+[~0.2147491072E10,TO_NEAREST] --> [Overflow,~2147491072] --> OK
+[~0.2147490816E10,TO_NEAREST] --> [Overflow,~2147490816] --> OK
+[~0.214749056E10,TO_NEAREST] --> [Overflow,~2147490560] --> OK
+[~0.2147490304E10,TO_NEAREST] --> [Overflow,~2147490304] --> OK
+[~0.2147490048E10,TO_NEAREST] --> [Overflow,~2147490048] --> OK
+[~0.2147489792E10,TO_NEAREST] --> [Overflow,~2147489792] --> OK
+[~0.2147489536E10,TO_NEAREST] --> [Overflow,~2147489536] --> OK
+[~0.214748928E10,TO_NEAREST] --> [Overflow,~2147489280] --> OK
+[~0.2147489024E10,TO_NEAREST] --> [Overflow,~2147489024] --> OK
+[~0.2147488768E10,TO_NEAREST] --> [Overflow,~2147488768] --> OK
+[~0.2147488512E10,TO_NEAREST] --> [Overflow,~2147488512] --> OK
+[~0.2147488256E10,TO_NEAREST] --> [Overflow,~2147488256] --> OK
+[~0.2147488E10,TO_NEAREST] --> [Overflow,~2147488000] --> OK
+[~0.2147487744E10,TO_NEAREST] --> [Overflow,~2147487744] --> OK
+[~0.2147487488E10,TO_NEAREST] --> [Overflow,~2147487488] --> OK
+[~0.2147487232E10,TO_NEAREST] --> [Overflow,~2147487232] --> OK
+[~0.2147486976E10,TO_NEAREST] --> [Overflow,~2147486976] --> OK
+[~0.214748672E10,TO_NEAREST] --> [Overflow,~2147486720] --> OK
+[~0.2147486464E10,TO_NEAREST] --> [Overflow,~2147486464] --> OK
+[~0.2147486208E10,TO_NEAREST] --> [Overflow,~2147486208] --> OK
+[~0.2147485952E10,TO_NEAREST] --> [Overflow,~2147485952] --> OK
+[~0.2147485696E10,TO_NEAREST] --> [Overflow,~2147485696] --> OK
+[~0.214748544E10,TO_NEAREST] --> [Overflow,~2147485440] --> OK
+[~0.2147485184E10,TO_NEAREST] --> [Overflow,~2147485184] --> OK
+[~0.2147484928E10,TO_NEAREST] --> [Overflow,~2147484928] --> OK
+[~0.2147484672E10,TO_NEAREST] --> [Overflow,~2147484672] --> OK
+[~0.2147484416E10,TO_NEAREST] --> [Overflow,~2147484416] --> OK
+[~0.214748416E10,TO_NEAREST] --> [Overflow,~2147484160] --> OK
+[~0.2147483904E10,TO_NEAREST] --> [Overflow,~2147483904] --> OK
+[~0.2147483648E10,TO_NEAREST] --> [~2147483648,~2147483648] --> OK
+[~0.2147475456E10,TO_NEAREST] --> [~2147475456,~2147475456] --> OK
+[~0.2147475584E10,TO_NEAREST] --> [~2147475584,~2147475584] --> OK
+[~0.2147475712E10,TO_NEAREST] --> [~2147475712,~2147475712] --> OK
+[~0.214747584E10,TO_NEAREST] --> [~2147475840,~2147475840] --> OK
+[~0.2147475968E10,TO_NEAREST] --> [~2147475968,~2147475968] --> OK
+[~0.2147476096E10,TO_NEAREST] --> [~2147476096,~2147476096] --> OK
+[~0.2147476224E10,TO_NEAREST] --> [~2147476224,~2147476224] --> OK
+[~0.2147476352E10,TO_NEAREST] --> [~2147476352,~2147476352] --> OK
+[~0.214747648E10,TO_NEAREST] --> [~2147476480,~2147476480] --> OK
+[~0.2147476608E10,TO_NEAREST] --> [~2147476608,~2147476608] --> OK
+[~0.2147476736E10,TO_NEAREST] --> [~2147476736,~2147476736] --> OK
+[~0.2147476864E10,TO_NEAREST] --> [~2147476864,~2147476864] --> OK
+[~0.2147476992E10,TO_NEAREST] --> [~2147476992,~2147476992] --> OK
+[~0.214747712E10,TO_NEAREST] --> [~2147477120,~2147477120] --> OK
+[~0.2147477248E10,TO_NEAREST] --> [~2147477248,~2147477248] --> OK
+[~0.2147477376E10,TO_NEAREST] --> [~2147477376,~2147477376] --> OK
+[~0.2147477504E10,TO_NEAREST] --> [~2147477504,~2147477504] --> OK
+[~0.2147477632E10,TO_NEAREST] --> [~2147477632,~2147477632] --> OK
+[~0.214747776E10,TO_NEAREST] --> [~2147477760,~2147477760] --> OK
+[~0.2147477888E10,TO_NEAREST] --> [~2147477888,~2147477888] --> OK
+[~0.2147478016E10,TO_NEAREST] --> [~2147478016,~2147478016] --> OK
+[~0.2147478144E10,TO_NEAREST] --> [~2147478144,~2147478144] --> OK
+[~0.2147478272E10,TO_NEAREST] --> [~2147478272,~2147478272] --> OK
+[~0.21474784E10,TO_NEAREST] --> [~2147478400,~2147478400] --> OK
+[~0.2147478528E10,TO_NEAREST] --> [~2147478528,~2147478528] --> OK
+[~0.2147478656E10,TO_NEAREST] --> [~2147478656,~2147478656] --> OK
+[~0.2147478784E10,TO_NEAREST] --> [~2147478784,~2147478784] --> OK
+[~0.2147478912E10,TO_NEAREST] --> [~2147478912,~2147478912] --> OK
+[~0.214747904E10,TO_NEAREST] --> [~2147479040,~2147479040] --> OK
+[~0.2147479168E10,TO_NEAREST] --> [~2147479168,~2147479168] --> OK
+[~0.2147479296E10,TO_NEAREST] --> [~2147479296,~2147479296] --> OK
+[~0.2147479424E10,TO_NEAREST] --> [~2147479424,~2147479424] --> OK
+[~0.2147479552E10,TO_NEAREST] --> [~2147479552,~2147479552] --> OK
+[~0.214747968E10,TO_NEAREST] --> [~2147479680,~2147479680] --> OK
+[~0.2147479808E10,TO_NEAREST] --> [~2147479808,~2147479808] --> OK
+[~0.2147479936E10,TO_NEAREST] --> [~2147479936,~2147479936] --> OK
+[~0.2147480064E10,TO_NEAREST] --> [~2147480064,~2147480064] --> OK
+[~0.2147480192E10,TO_NEAREST] --> [~2147480192,~2147480192] --> OK
+[~0.214748032E10,TO_NEAREST] --> [~2147480320,~2147480320] --> OK
+[~0.2147480448E10,TO_NEAREST] --> [~2147480448,~2147480448] --> OK
+[~0.2147480576E10,TO_NEAREST] --> [~2147480576,~2147480576] --> OK
+[~0.2147480704E10,TO_NEAREST] --> [~2147480704,~2147480704] --> OK
+[~0.2147480832E10,TO_NEAREST] --> [~2147480832,~2147480832] --> OK
+[~0.214748096E10,TO_NEAREST] --> [~2147480960,~2147480960] --> OK
+[~0.2147481088E10,TO_NEAREST] --> [~2147481088,~2147481088] --> OK
+[~0.2147481216E10,TO_NEAREST] --> [~2147481216,~2147481216] --> OK
+[~0.2147481344E10,TO_NEAREST] --> [~2147481344,~2147481344] --> OK
+[~0.2147481472E10,TO_NEAREST] --> [~2147481472,~2147481472] --> OK
+[~0.21474816E10,TO_NEAREST] --> [~2147481600,~2147481600] --> OK
+[~0.2147481728E10,TO_NEAREST] --> [~2147481728,~2147481728] --> OK
+[~0.2147481856E10,TO_NEAREST] --> [~2147481856,~2147481856] --> OK
+[~0.2147481984E10,TO_NEAREST] --> [~2147481984,~2147481984] --> OK
+[~0.2147482112E10,TO_NEAREST] --> [~2147482112,~2147482112] --> OK
+[~0.214748224E10,TO_NEAREST] --> [~2147482240,~2147482240] --> OK
+[~0.2147482368E10,TO_NEAREST] --> [~2147482368,~2147482368] --> OK
+[~0.2147482496E10,TO_NEAREST] --> [~2147482496,~2147482496] --> OK
+[~0.2147482624E10,TO_NEAREST] --> [~2147482624,~2147482624] --> OK
+[~0.2147482752E10,TO_NEAREST] --> [~2147482752,~2147482752] --> OK
+[~0.214748288E10,TO_NEAREST] --> [~2147482880,~2147482880] --> OK
+[~0.2147483008E10,TO_NEAREST] --> [~2147483008,~2147483008] --> OK
+[~0.2147483136E10,TO_NEAREST] --> [~2147483136,~2147483136] --> OK
+[~0.2147483264E10,TO_NEAREST] --> [~2147483264,~2147483264] --> OK
+[~0.2147483392E10,TO_NEAREST] --> [~2147483392,~2147483392] --> OK
+[~0.214748352E10,TO_NEAREST] --> [~2147483520,~2147483520] --> OK
+[~0.2113937408E10,TO_NEAREST] --> [~2113937408,~2113937408] --> OK
+[~0.211393728E10,TO_NEAREST] --> [~2113937280,~2113937280] --> OK
+[~0.2113937152E10,TO_NEAREST] --> [~2113937152,~2113937152] --> OK
+[~0.2113937024E10,TO_NEAREST] --> [~2113937024,~2113937024] --> OK
+[~0.2113936896E10,TO_NEAREST] --> [~2113936896,~2113936896] --> OK
+[~0.2113936768E10,TO_NEAREST] --> [~2113936768,~2113936768] --> OK
+[~0.211393664E10,TO_NEAREST] --> [~2113936640,~2113936640] --> OK
+[~0.2113936512E10,TO_NEAREST] --> [~2113936512,~2113936512] --> OK
+[~0.2113936384E10,TO_NEAREST] --> [~2113936384,~2113936384] --> OK
+[~0.2113936256E10,TO_NEAREST] --> [~2113936256,~2113936256] --> OK
+[~0.2113936128E10,TO_NEAREST] --> [~2113936128,~2113936128] --> OK
+[~0.2113936E10,TO_NEAREST] --> [~2113936000,~2113936000] --> OK
+[~0.2113935872E10,TO_NEAREST] --> [~2113935872,~2113935872] --> OK
+[~0.2113935744E10,TO_NEAREST] --> [~2113935744,~2113935744] --> OK
+[~0.2113935616E10,TO_NEAREST] --> [~2113935616,~2113935616] --> OK
+[~0.2113935488E10,TO_NEAREST] --> [~2113935488,~2113935488] --> OK
+[~0.211393536E10,TO_NEAREST] --> [~2113935360,~2113935360] --> OK
+[~0.2113935232E10,TO_NEAREST] --> [~2113935232,~2113935232] --> OK
+[~0.2113935104E10,TO_NEAREST] --> [~2113935104,~2113935104] --> OK
+[~0.2113934976E10,TO_NEAREST] --> [~2113934976,~2113934976] --> OK
+[~0.2113934848E10,TO_NEAREST] --> [~2113934848,~2113934848] --> OK
+[~0.211393472E10,TO_NEAREST] --> [~2113934720,~2113934720] --> OK
+[~0.2113934592E10,TO_NEAREST] --> [~2113934592,~2113934592] --> OK
+[~0.2113934464E10,TO_NEAREST] --> [~2113934464,~2113934464] --> OK
+[~0.2113934336E10,TO_NEAREST] --> [~2113934336,~2113934336] --> OK
+[~0.2113934208E10,TO_NEAREST] --> [~2113934208,~2113934208] --> OK
+[~0.211393408E10,TO_NEAREST] --> [~2113934080,~2113934080] --> OK
+[~0.2113933952E10,TO_NEAREST] --> [~2113933952,~2113933952] --> OK
+[~0.2113933824E10,TO_NEAREST] --> [~2113933824,~2113933824] --> OK
+[~0.2113933696E10,TO_NEAREST] --> [~2113933696,~2113933696] --> OK
+[~0.2113933568E10,TO_NEAREST] --> [~2113933568,~2113933568] --> OK
+[~0.211393344E10,TO_NEAREST] --> [~2113933440,~2113933440] --> OK
+[~0.2113933312E10,TO_NEAREST] --> [~2113933312,~2113933312] --> OK
+[~0.2113933184E10,TO_NEAREST] --> [~2113933184,~2113933184] --> OK
+[~0.2113933056E10,TO_NEAREST] --> [~2113933056,~2113933056] --> OK
+[~0.2113932928E10,TO_NEAREST] --> [~2113932928,~2113932928] --> OK
+[~0.21139328E10,TO_NEAREST] --> [~2113932800,~2113932800] --> OK
+[~0.2113932672E10,TO_NEAREST] --> [~2113932672,~2113932672] --> OK
+[~0.2113932544E10,TO_NEAREST] --> [~2113932544,~2113932544] --> OK
+[~0.2113932416E10,TO_NEAREST] --> [~2113932416,~2113932416] --> OK
+[~0.2113932288E10,TO_NEAREST] --> [~2113932288,~2113932288] --> OK
+[~0.211393216E10,TO_NEAREST] --> [~2113932160,~2113932160] --> OK
+[~0.2113932032E10,TO_NEAREST] --> [~2113932032,~2113932032] --> OK
+[~0.2113931904E10,TO_NEAREST] --> [~2113931904,~2113931904] --> OK
+[~0.2113931776E10,TO_NEAREST] --> [~2113931776,~2113931776] --> OK
+[~0.2113931648E10,TO_NEAREST] --> [~2113931648,~2113931648] --> OK
+[~0.211393152E10,TO_NEAREST] --> [~2113931520,~2113931520] --> OK
+[~0.2113931392E10,TO_NEAREST] --> [~2113931392,~2113931392] --> OK
+[~0.2113931264E10,TO_NEAREST] --> [~2113931264,~2113931264] --> OK
+[~0.2113931136E10,TO_NEAREST] --> [~2113931136,~2113931136] --> OK
+[~0.2113931008E10,TO_NEAREST] --> [~2113931008,~2113931008] --> OK
+[~0.211393088E10,TO_NEAREST] --> [~2113930880,~2113930880] --> OK
+[~0.2113930752E10,TO_NEAREST] --> [~2113930752,~2113930752] --> OK
+[~0.2113930624E10,TO_NEAREST] --> [~2113930624,~2113930624] --> OK
+[~0.2113930496E10,TO_NEAREST] --> [~2113930496,~2113930496] --> OK
+[~0.2113930368E10,TO_NEAREST] --> [~2113930368,~2113930368] --> OK
+[~0.211393024E10,TO_NEAREST] --> [~2113930240,~2113930240] --> OK
+[~0.2113930112E10,TO_NEAREST] --> [~2113930112,~2113930112] --> OK
+[~0.2113929984E10,TO_NEAREST] --> [~2113929984,~2113929984] --> OK
+[~0.2113929856E10,TO_NEAREST] --> [~2113929856,~2113929856] --> OK
+[~0.2113929728E10,TO_NEAREST] --> [~2113929728,~2113929728] --> OK
+[~0.21139296E10,TO_NEAREST] --> [~2113929600,~2113929600] --> OK
+[~0.2113929472E10,TO_NEAREST] --> [~2113929472,~2113929472] --> OK
+[~0.2113929344E10,TO_NEAREST] --> [~2113929344,~2113929344] --> OK
+[~0.2113929216E10,TO_NEAREST] --> [~2113929216,~2113929216] --> OK
+[~0.2113921024E10,TO_NEAREST] --> [~2113921024,~2113921024] --> OK
+[~0.2113921152E10,TO_NEAREST] --> [~2113921152,~2113921152] --> OK
+[~0.211392128E10,TO_NEAREST] --> [~2113921280,~2113921280] --> OK
+[~0.2113921408E10,TO_NEAREST] --> [~2113921408,~2113921408] --> OK
+[~0.2113921536E10,TO_NEAREST] --> [~2113921536,~2113921536] --> OK
+[~0.2113921664E10,TO_NEAREST] --> [~2113921664,~2113921664] --> OK
+[~0.2113921792E10,TO_NEAREST] --> [~2113921792,~2113921792] --> OK
+[~0.211392192E10,TO_NEAREST] --> [~2113921920,~2113921920] --> OK
+[~0.2113922048E10,TO_NEAREST] --> [~2113922048,~2113922048] --> OK
+[~0.2113922176E10,TO_NEAREST] --> [~2113922176,~2113922176] --> OK
+[~0.2113922304E10,TO_NEAREST] --> [~2113922304,~2113922304] --> OK
+[~0.2113922432E10,TO_NEAREST] --> [~2113922432,~2113922432] --> OK
+[~0.211392256E10,TO_NEAREST] --> [~2113922560,~2113922560] --> OK
+[~0.2113922688E10,TO_NEAREST] --> [~2113922688,~2113922688] --> OK
+[~0.2113922816E10,TO_NEAREST] --> [~2113922816,~2113922816] --> OK
+[~0.2113922944E10,TO_NEAREST] --> [~2113922944,~2113922944] --> OK
+[~0.2113923072E10,TO_NEAREST] --> [~2113923072,~2113923072] --> OK
+[~0.21139232E10,TO_NEAREST] --> [~2113923200,~2113923200] --> OK
+[~0.2113923328E10,TO_NEAREST] --> [~2113923328,~2113923328] --> OK
+[~0.2113923456E10,TO_NEAREST] --> [~2113923456,~2113923456] --> OK
+[~0.2113923584E10,TO_NEAREST] --> [~2113923584,~2113923584] --> OK
+[~0.2113923712E10,TO_NEAREST] --> [~2113923712,~2113923712] --> OK
+[~0.211392384E10,TO_NEAREST] --> [~2113923840,~2113923840] --> OK
+[~0.2113923968E10,TO_NEAREST] --> [~2113923968,~2113923968] --> OK
+[~0.2113924096E10,TO_NEAREST] --> [~2113924096,~2113924096] --> OK
+[~0.2113924224E10,TO_NEAREST] --> [~2113924224,~2113924224] --> OK
+[~0.2113924352E10,TO_NEAREST] --> [~2113924352,~2113924352] --> OK
+[~0.211392448E10,TO_NEAREST] --> [~2113924480,~2113924480] --> OK
+[~0.2113924608E10,TO_NEAREST] --> [~2113924608,~2113924608] --> OK
+[~0.2113924736E10,TO_NEAREST] --> [~2113924736,~2113924736] --> OK
+[~0.2113924864E10,TO_NEAREST] --> [~2113924864,~2113924864] --> OK
+[~0.2113924992E10,TO_NEAREST] --> [~2113924992,~2113924992] --> OK
+[~0.211392512E10,TO_NEAREST] --> [~2113925120,~2113925120] --> OK
+[~0.2113925248E10,TO_NEAREST] --> [~2113925248,~2113925248] --> OK
+[~0.2113925376E10,TO_NEAREST] --> [~2113925376,~2113925376] --> OK
+[~0.2113925504E10,TO_NEAREST] --> [~2113925504,~2113925504] --> OK
+[~0.2113925632E10,TO_NEAREST] --> [~2113925632,~2113925632] --> OK
+[~0.211392576E10,TO_NEAREST] --> [~2113925760,~2113925760] --> OK
+[~0.2113925888E10,TO_NEAREST] --> [~2113925888,~2113925888] --> OK
+[~0.2113926016E10,TO_NEAREST] --> [~2113926016,~2113926016] --> OK
+[~0.2113926144E10,TO_NEAREST] --> [~2113926144,~2113926144] --> OK
+[~0.2113926272E10,TO_NEAREST] --> [~2113926272,~2113926272] --> OK
+[~0.21139264E10,TO_NEAREST] --> [~2113926400,~2113926400] --> OK
+[~0.2113926528E10,TO_NEAREST] --> [~2113926528,~2113926528] --> OK
+[~0.2113926656E10,TO_NEAREST] --> [~2113926656,~2113926656] --> OK
+[~0.2113926784E10,TO_NEAREST] --> [~2113926784,~2113926784] --> OK
+[~0.2113926912E10,TO_NEAREST] --> [~2113926912,~2113926912] --> OK
+[~0.211392704E10,TO_NEAREST] --> [~2113927040,~2113927040] --> OK
+[~0.2113927168E10,TO_NEAREST] --> [~2113927168,~2113927168] --> OK
+[~0.2113927296E10,TO_NEAREST] --> [~2113927296,~2113927296] --> OK
+[~0.2113927424E10,TO_NEAREST] --> [~2113927424,~2113927424] --> OK
+[~0.2113927552E10,TO_NEAREST] --> [~2113927552,~2113927552] --> OK
+[~0.211392768E10,TO_NEAREST] --> [~2113927680,~2113927680] --> OK
+[~0.2113927808E10,TO_NEAREST] --> [~2113927808,~2113927808] --> OK
+[~0.2113927936E10,TO_NEAREST] --> [~2113927936,~2113927936] --> OK
+[~0.2113928064E10,TO_NEAREST] --> [~2113928064,~2113928064] --> OK
+[~0.2113928192E10,TO_NEAREST] --> [~2113928192,~2113928192] --> OK
+[~0.211392832E10,TO_NEAREST] --> [~2113928320,~2113928320] --> OK
+[~0.2113928448E10,TO_NEAREST] --> [~2113928448,~2113928448] --> OK
+[~0.2113928576E10,TO_NEAREST] --> [~2113928576,~2113928576] --> OK
+[~0.2113928704E10,TO_NEAREST] --> [~2113928704,~2113928704] --> OK
+[~0.2113928832E10,TO_NEAREST] --> [~2113928832,~2113928832] --> OK
+[~0.211392896E10,TO_NEAREST] --> [~2113928960,~2113928960] --> OK
+[~0.2113929088E10,TO_NEAREST] --> [~2113929088,~2113929088] --> OK
+[~0.2080382976E10,TO_NEAREST] --> [~2080382976,~2080382976] --> OK
+[~0.2080382848E10,TO_NEAREST] --> [~2080382848,~2080382848] --> OK
+[~0.208038272E10,TO_NEAREST] --> [~2080382720,~2080382720] --> OK
+[~0.2080382592E10,TO_NEAREST] --> [~2080382592,~2080382592] --> OK
+[~0.2080382464E10,TO_NEAREST] --> [~2080382464,~2080382464] --> OK
+[~0.2080382336E10,TO_NEAREST] --> [~2080382336,~2080382336] --> OK
+[~0.2080382208E10,TO_NEAREST] --> [~2080382208,~2080382208] --> OK
+[~0.208038208E10,TO_NEAREST] --> [~2080382080,~2080382080] --> OK
+[~0.2080381952E10,TO_NEAREST] --> [~2080381952,~2080381952] --> OK
+[~0.2080381824E10,TO_NEAREST] --> [~2080381824,~2080381824] --> OK
+[~0.2080381696E10,TO_NEAREST] --> [~2080381696,~2080381696] --> OK
+[~0.2080381568E10,TO_NEAREST] --> [~2080381568,~2080381568] --> OK
+[~0.208038144E10,TO_NEAREST] --> [~2080381440,~2080381440] --> OK
+[~0.2080381312E10,TO_NEAREST] --> [~2080381312,~2080381312] --> OK
+[~0.2080381184E10,TO_NEAREST] --> [~2080381184,~2080381184] --> OK
+[~0.2080381056E10,TO_NEAREST] --> [~2080381056,~2080381056] --> OK
+[~0.2080380928E10,TO_NEAREST] --> [~2080380928,~2080380928] --> OK
+[~0.20803808E10,TO_NEAREST] --> [~2080380800,~2080380800] --> OK
+[~0.2080380672E10,TO_NEAREST] --> [~2080380672,~2080380672] --> OK
+[~0.2080380544E10,TO_NEAREST] --> [~2080380544,~2080380544] --> OK
+[~0.2080380416E10,TO_NEAREST] --> [~2080380416,~2080380416] --> OK
+[~0.2080380288E10,TO_NEAREST] --> [~2080380288,~2080380288] --> OK
+[~0.208038016E10,TO_NEAREST] --> [~2080380160,~2080380160] --> OK
+[~0.2080380032E10,TO_NEAREST] --> [~2080380032,~2080380032] --> OK
+[~0.2080379904E10,TO_NEAREST] --> [~2080379904,~2080379904] --> OK
+[~0.2080379776E10,TO_NEAREST] --> [~2080379776,~2080379776] --> OK
+[~0.2080379648E10,TO_NEAREST] --> [~2080379648,~2080379648] --> OK
+[~0.208037952E10,TO_NEAREST] --> [~2080379520,~2080379520] --> OK
+[~0.2080379392E10,TO_NEAREST] --> [~2080379392,~2080379392] --> OK
+[~0.2080379264E10,TO_NEAREST] --> [~2080379264,~2080379264] --> OK
+[~0.2080379136E10,TO_NEAREST] --> [~2080379136,~2080379136] --> OK
+[~0.2080379008E10,TO_NEAREST] --> [~2080379008,~2080379008] --> OK
+[~0.208037888E10,TO_NEAREST] --> [~2080378880,~2080378880] --> OK
+[~0.2080378752E10,TO_NEAREST] --> [~2080378752,~2080378752] --> OK
+[~0.2080378624E10,TO_NEAREST] --> [~2080378624,~2080378624] --> OK
+[~0.2080378496E10,TO_NEAREST] --> [~2080378496,~2080378496] --> OK
+[~0.2080378368E10,TO_NEAREST] --> [~2080378368,~2080378368] --> OK
+[~0.208037824E10,TO_NEAREST] --> [~2080378240,~2080378240] --> OK
+[~0.2080378112E10,TO_NEAREST] --> [~2080378112,~2080378112] --> OK
+[~0.2080377984E10,TO_NEAREST] --> [~2080377984,~2080377984] --> OK
+[~0.2080377856E10,TO_NEAREST] --> [~2080377856,~2080377856] --> OK
+[~0.2080377728E10,TO_NEAREST] --> [~2080377728,~2080377728] --> OK
+[~0.20803776E10,TO_NEAREST] --> [~2080377600,~2080377600] --> OK
+[~0.2080377472E10,TO_NEAREST] --> [~2080377472,~2080377472] --> OK
+[~0.2080377344E10,TO_NEAREST] --> [~2080377344,~2080377344] --> OK
+[~0.2080377216E10,TO_NEAREST] --> [~2080377216,~2080377216] --> OK
+[~0.2080377088E10,TO_NEAREST] --> [~2080377088,~2080377088] --> OK
+[~0.208037696E10,TO_NEAREST] --> [~2080376960,~2080376960] --> OK
+[~0.2080376832E10,TO_NEAREST] --> [~2080376832,~2080376832] --> OK
+[~0.2080376704E10,TO_NEAREST] --> [~2080376704,~2080376704] --> OK
+[~0.2080376576E10,TO_NEAREST] --> [~2080376576,~2080376576] --> OK
+[~0.2080376448E10,TO_NEAREST] --> [~2080376448,~2080376448] --> OK
+[~0.208037632E10,TO_NEAREST] --> [~2080376320,~2080376320] --> OK
+[~0.2080376192E10,TO_NEAREST] --> [~2080376192,~2080376192] --> OK
+[~0.2080376064E10,TO_NEAREST] --> [~2080376064,~2080376064] --> OK
+[~0.2080375936E10,TO_NEAREST] --> [~2080375936,~2080375936] --> OK
+[~0.2080375808E10,TO_NEAREST] --> [~2080375808,~2080375808] --> OK
+[~0.208037568E10,TO_NEAREST] --> [~2080375680,~2080375680] --> OK
+[~0.2080375552E10,TO_NEAREST] --> [~2080375552,~2080375552] --> OK
+[~0.2080375424E10,TO_NEAREST] --> [~2080375424,~2080375424] --> OK
+[~0.2080375296E10,TO_NEAREST] --> [~2080375296,~2080375296] --> OK
+[~0.2080375168E10,TO_NEAREST] --> [~2080375168,~2080375168] --> OK
+[~0.208037504E10,TO_NEAREST] --> [~2080375040,~2080375040] --> OK
+[~0.2080374912E10,TO_NEAREST] --> [~2080374912,~2080374912] --> OK
+[~0.2080374784E10,TO_NEAREST] --> [~2080374784,~2080374784] --> OK
+[~0.2080366592E10,TO_NEAREST] --> [~2080366592,~2080366592] --> OK
+[~0.208036672E10,TO_NEAREST] --> [~2080366720,~2080366720] --> OK
+[~0.2080366848E10,TO_NEAREST] --> [~2080366848,~2080366848] --> OK
+[~0.2080366976E10,TO_NEAREST] --> [~2080366976,~2080366976] --> OK
+[~0.2080367104E10,TO_NEAREST] --> [~2080367104,~2080367104] --> OK
+[~0.2080367232E10,TO_NEAREST] --> [~2080367232,~2080367232] --> OK
+[~0.208036736E10,TO_NEAREST] --> [~2080367360,~2080367360] --> OK
+[~0.2080367488E10,TO_NEAREST] --> [~2080367488,~2080367488] --> OK
+[~0.2080367616E10,TO_NEAREST] --> [~2080367616,~2080367616] --> OK
+[~0.2080367744E10,TO_NEAREST] --> [~2080367744,~2080367744] --> OK
+[~0.2080367872E10,TO_NEAREST] --> [~2080367872,~2080367872] --> OK
+[~0.2080368E10,TO_NEAREST] --> [~2080368000,~2080368000] --> OK
+[~0.2080368128E10,TO_NEAREST] --> [~2080368128,~2080368128] --> OK
+[~0.2080368256E10,TO_NEAREST] --> [~2080368256,~2080368256] --> OK
+[~0.2080368384E10,TO_NEAREST] --> [~2080368384,~2080368384] --> OK
+[~0.2080368512E10,TO_NEAREST] --> [~2080368512,~2080368512] --> OK
+[~0.208036864E10,TO_NEAREST] --> [~2080368640,~2080368640] --> OK
+[~0.2080368768E10,TO_NEAREST] --> [~2080368768,~2080368768] --> OK
+[~0.2080368896E10,TO_NEAREST] --> [~2080368896,~2080368896] --> OK
+[~0.2080369024E10,TO_NEAREST] --> [~2080369024,~2080369024] --> OK
+[~0.2080369152E10,TO_NEAREST] --> [~2080369152,~2080369152] --> OK
+[~0.208036928E10,TO_NEAREST] --> [~2080369280,~2080369280] --> OK
+[~0.2080369408E10,TO_NEAREST] --> [~2080369408,~2080369408] --> OK
+[~0.2080369536E10,TO_NEAREST] --> [~2080369536,~2080369536] --> OK
+[~0.2080369664E10,TO_NEAREST] --> [~2080369664,~2080369664] --> OK
+[~0.2080369792E10,TO_NEAREST] --> [~2080369792,~2080369792] --> OK
+[~0.208036992E10,TO_NEAREST] --> [~2080369920,~2080369920] --> OK
+[~0.2080370048E10,TO_NEAREST] --> [~2080370048,~2080370048] --> OK
+[~0.2080370176E10,TO_NEAREST] --> [~2080370176,~2080370176] --> OK
+[~0.2080370304E10,TO_NEAREST] --> [~2080370304,~2080370304] --> OK
+[~0.2080370432E10,TO_NEAREST] --> [~2080370432,~2080370432] --> OK
+[~0.208037056E10,TO_NEAREST] --> [~2080370560,~2080370560] --> OK
+[~0.2080370688E10,TO_NEAREST] --> [~2080370688,~2080370688] --> OK
+[~0.2080370816E10,TO_NEAREST] --> [~2080370816,~2080370816] --> OK
+[~0.2080370944E10,TO_NEAREST] --> [~2080370944,~2080370944] --> OK
+[~0.2080371072E10,TO_NEAREST] --> [~2080371072,~2080371072] --> OK
+[~0.20803712E10,TO_NEAREST] --> [~2080371200,~2080371200] --> OK
+[~0.2080371328E10,TO_NEAREST] --> [~2080371328,~2080371328] --> OK
+[~0.2080371456E10,TO_NEAREST] --> [~2080371456,~2080371456] --> OK
+[~0.2080371584E10,TO_NEAREST] --> [~2080371584,~2080371584] --> OK
+[~0.2080371712E10,TO_NEAREST] --> [~2080371712,~2080371712] --> OK
+[~0.208037184E10,TO_NEAREST] --> [~2080371840,~2080371840] --> OK
+[~0.2080371968E10,TO_NEAREST] --> [~2080371968,~2080371968] --> OK
+[~0.2080372096E10,TO_NEAREST] --> [~2080372096,~2080372096] --> OK
+[~0.2080372224E10,TO_NEAREST] --> [~2080372224,~2080372224] --> OK
+[~0.2080372352E10,TO_NEAREST] --> [~2080372352,~2080372352] --> OK
+[~0.208037248E10,TO_NEAREST] --> [~2080372480,~2080372480] --> OK
+[~0.2080372608E10,TO_NEAREST] --> [~2080372608,~2080372608] --> OK
+[~0.2080372736E10,TO_NEAREST] --> [~2080372736,~2080372736] --> OK
+[~0.2080372864E10,TO_NEAREST] --> [~2080372864,~2080372864] --> OK
+[~0.2080372992E10,TO_NEAREST] --> [~2080372992,~2080372992] --> OK
+[~0.208037312E10,TO_NEAREST] --> [~2080373120,~2080373120] --> OK
+[~0.2080373248E10,TO_NEAREST] --> [~2080373248,~2080373248] --> OK
+[~0.2080373376E10,TO_NEAREST] --> [~2080373376,~2080373376] --> OK
+[~0.2080373504E10,TO_NEAREST] --> [~2080373504,~2080373504] --> OK
+[~0.2080373632E10,TO_NEAREST] --> [~2080373632,~2080373632] --> OK
+[~0.208037376E10,TO_NEAREST] --> [~2080373760,~2080373760] --> OK
+[~0.2080373888E10,TO_NEAREST] --> [~2080373888,~2080373888] --> OK
+[~0.2080374016E10,TO_NEAREST] --> [~2080374016,~2080374016] --> OK
+[~0.2080374144E10,TO_NEAREST] --> [~2080374144,~2080374144] --> OK
+[~0.2080374272E10,TO_NEAREST] --> [~2080374272,~2080374272] --> OK
+[~0.20803744E10,TO_NEAREST] --> [~2080374400,~2080374400] --> OK
+[~0.2080374528E10,TO_NEAREST] --> [~2080374528,~2080374528] --> OK
+[~0.2080374656E10,TO_NEAREST] --> [~2080374656,~2080374656] --> OK
+[~0.2013274112E10,TO_NEAREST] --> [~2013274112,~2013274112] --> OK
+[~0.2013273984E10,TO_NEAREST] --> [~2013273984,~2013273984] --> OK
+[~0.2013273856E10,TO_NEAREST] --> [~2013273856,~2013273856] --> OK
+[~0.2013273728E10,TO_NEAREST] --> [~2013273728,~2013273728] --> OK
+[~0.20132736E10,TO_NEAREST] --> [~2013273600,~2013273600] --> OK
+[~0.2013273472E10,TO_NEAREST] --> [~2013273472,~2013273472] --> OK
+[~0.2013273344E10,TO_NEAREST] --> [~2013273344,~2013273344] --> OK
+[~0.2013273216E10,TO_NEAREST] --> [~2013273216,~2013273216] --> OK
+[~0.2013273088E10,TO_NEAREST] --> [~2013273088,~2013273088] --> OK
+[~0.201327296E10,TO_NEAREST] --> [~2013272960,~2013272960] --> OK
+[~0.2013272832E10,TO_NEAREST] --> [~2013272832,~2013272832] --> OK
+[~0.2013272704E10,TO_NEAREST] --> [~2013272704,~2013272704] --> OK
+[~0.2013272576E10,TO_NEAREST] --> [~2013272576,~2013272576] --> OK
+[~0.2013272448E10,TO_NEAREST] --> [~2013272448,~2013272448] --> OK
+[~0.201327232E10,TO_NEAREST] --> [~2013272320,~2013272320] --> OK
+[~0.2013272192E10,TO_NEAREST] --> [~2013272192,~2013272192] --> OK
+[~0.2013272064E10,TO_NEAREST] --> [~2013272064,~2013272064] --> OK
+[~0.2013271936E10,TO_NEAREST] --> [~2013271936,~2013271936] --> OK
+[~0.2013271808E10,TO_NEAREST] --> [~2013271808,~2013271808] --> OK
+[~0.201327168E10,TO_NEAREST] --> [~2013271680,~2013271680] --> OK
+[~0.2013271552E10,TO_NEAREST] --> [~2013271552,~2013271552] --> OK
+[~0.2013271424E10,TO_NEAREST] --> [~2013271424,~2013271424] --> OK
+[~0.2013271296E10,TO_NEAREST] --> [~2013271296,~2013271296] --> OK
+[~0.2013271168E10,TO_NEAREST] --> [~2013271168,~2013271168] --> OK
+[~0.201327104E10,TO_NEAREST] --> [~2013271040,~2013271040] --> OK
+[~0.2013270912E10,TO_NEAREST] --> [~2013270912,~2013270912] --> OK
+[~0.2013270784E10,TO_NEAREST] --> [~2013270784,~2013270784] --> OK
+[~0.2013270656E10,TO_NEAREST] --> [~2013270656,~2013270656] --> OK
+[~0.2013270528E10,TO_NEAREST] --> [~2013270528,~2013270528] --> OK
+[~0.20132704E10,TO_NEAREST] --> [~2013270400,~2013270400] --> OK
+[~0.2013270272E10,TO_NEAREST] --> [~2013270272,~2013270272] --> OK
+[~0.2013270144E10,TO_NEAREST] --> [~2013270144,~2013270144] --> OK
+[~0.2013270016E10,TO_NEAREST] --> [~2013270016,~2013270016] --> OK
+[~0.2013269888E10,TO_NEAREST] --> [~2013269888,~2013269888] --> OK
+[~0.201326976E10,TO_NEAREST] --> [~2013269760,~2013269760] --> OK
+[~0.2013269632E10,TO_NEAREST] --> [~2013269632,~2013269632] --> OK
+[~0.2013269504E10,TO_NEAREST] --> [~2013269504,~2013269504] --> OK
+[~0.2013269376E10,TO_NEAREST] --> [~2013269376,~2013269376] --> OK
+[~0.2013269248E10,TO_NEAREST] --> [~2013269248,~2013269248] --> OK
+[~0.201326912E10,TO_NEAREST] --> [~2013269120,~2013269120] --> OK
+[~0.2013268992E10,TO_NEAREST] --> [~2013268992,~2013268992] --> OK
+[~0.2013268864E10,TO_NEAREST] --> [~2013268864,~2013268864] --> OK
+[~0.2013268736E10,TO_NEAREST] --> [~2013268736,~2013268736] --> OK
+[~0.2013268608E10,TO_NEAREST] --> [~2013268608,~2013268608] --> OK
+[~0.201326848E10,TO_NEAREST] --> [~2013268480,~2013268480] --> OK
+[~0.2013268352E10,TO_NEAREST] --> [~2013268352,~2013268352] --> OK
+[~0.2013268224E10,TO_NEAREST] --> [~2013268224,~2013268224] --> OK
+[~0.2013268096E10,TO_NEAREST] --> [~2013268096,~2013268096] --> OK
+[~0.2013267968E10,TO_NEAREST] --> [~2013267968,~2013267968] --> OK
+[~0.201326784E10,TO_NEAREST] --> [~2013267840,~2013267840] --> OK
+[~0.2013267712E10,TO_NEAREST] --> [~2013267712,~2013267712] --> OK
+[~0.2013267584E10,TO_NEAREST] --> [~2013267584,~2013267584] --> OK
+[~0.2013267456E10,TO_NEAREST] --> [~2013267456,~2013267456] --> OK
+[~0.2013267328E10,TO_NEAREST] --> [~2013267328,~2013267328] --> OK
+[~0.20132672E10,TO_NEAREST] --> [~2013267200,~2013267200] --> OK
+[~0.2013267072E10,TO_NEAREST] --> [~2013267072,~2013267072] --> OK
+[~0.2013266944E10,TO_NEAREST] --> [~2013266944,~2013266944] --> OK
+[~0.2013266816E10,TO_NEAREST] --> [~2013266816,~2013266816] --> OK
+[~0.2013266688E10,TO_NEAREST] --> [~2013266688,~2013266688] --> OK
+[~0.201326656E10,TO_NEAREST] --> [~2013266560,~2013266560] --> OK
+[~0.2013266432E10,TO_NEAREST] --> [~2013266432,~2013266432] --> OK
+[~0.2013266304E10,TO_NEAREST] --> [~2013266304,~2013266304] --> OK
+[~0.2013266176E10,TO_NEAREST] --> [~2013266176,~2013266176] --> OK
+[~0.2013266048E10,TO_NEAREST] --> [~2013266048,~2013266048] --> OK
+[~0.201326592E10,TO_NEAREST] --> [~2013265920,~2013265920] --> OK
+[~0.2013257728E10,TO_NEAREST] --> [~2013257728,~2013257728] --> OK
+[~0.2013257856E10,TO_NEAREST] --> [~2013257856,~2013257856] --> OK
+[~0.2013257984E10,TO_NEAREST] --> [~2013257984,~2013257984] --> OK
+[~0.2013258112E10,TO_NEAREST] --> [~2013258112,~2013258112] --> OK
+[~0.201325824E10,TO_NEAREST] --> [~2013258240,~2013258240] --> OK
+[~0.2013258368E10,TO_NEAREST] --> [~2013258368,~2013258368] --> OK
+[~0.2013258496E10,TO_NEAREST] --> [~2013258496,~2013258496] --> OK
+[~0.2013258624E10,TO_NEAREST] --> [~2013258624,~2013258624] --> OK
+[~0.2013258752E10,TO_NEAREST] --> [~2013258752,~2013258752] --> OK
+[~0.201325888E10,TO_NEAREST] --> [~2013258880,~2013258880] --> OK
+[~0.2013259008E10,TO_NEAREST] --> [~2013259008,~2013259008] --> OK
+[~0.2013259136E10,TO_NEAREST] --> [~2013259136,~2013259136] --> OK
+[~0.2013259264E10,TO_NEAREST] --> [~2013259264,~2013259264] --> OK
+[~0.2013259392E10,TO_NEAREST] --> [~2013259392,~2013259392] --> OK
+[~0.201325952E10,TO_NEAREST] --> [~2013259520,~2013259520] --> OK
+[~0.2013259648E10,TO_NEAREST] --> [~2013259648,~2013259648] --> OK
+[~0.2013259776E10,TO_NEAREST] --> [~2013259776,~2013259776] --> OK
+[~0.2013259904E10,TO_NEAREST] --> [~2013259904,~2013259904] --> OK
+[~0.2013260032E10,TO_NEAREST] --> [~2013260032,~2013260032] --> OK
+[~0.201326016E10,TO_NEAREST] --> [~2013260160,~2013260160] --> OK
+[~0.2013260288E10,TO_NEAREST] --> [~2013260288,~2013260288] --> OK
+[~0.2013260416E10,TO_NEAREST] --> [~2013260416,~2013260416] --> OK
+[~0.2013260544E10,TO_NEAREST] --> [~2013260544,~2013260544] --> OK
+[~0.2013260672E10,TO_NEAREST] --> [~2013260672,~2013260672] --> OK
+[~0.20132608E10,TO_NEAREST] --> [~2013260800,~2013260800] --> OK
+[~0.2013260928E10,TO_NEAREST] --> [~2013260928,~2013260928] --> OK
+[~0.2013261056E10,TO_NEAREST] --> [~2013261056,~2013261056] --> OK
+[~0.2013261184E10,TO_NEAREST] --> [~2013261184,~2013261184] --> OK
+[~0.2013261312E10,TO_NEAREST] --> [~2013261312,~2013261312] --> OK
+[~0.201326144E10,TO_NEAREST] --> [~2013261440,~2013261440] --> OK
+[~0.2013261568E10,TO_NEAREST] --> [~2013261568,~2013261568] --> OK
+[~0.2013261696E10,TO_NEAREST] --> [~2013261696,~2013261696] --> OK
+[~0.2013261824E10,TO_NEAREST] --> [~2013261824,~2013261824] --> OK
+[~0.2013261952E10,TO_NEAREST] --> [~2013261952,~2013261952] --> OK
+[~0.201326208E10,TO_NEAREST] --> [~2013262080,~2013262080] --> OK
+[~0.2013262208E10,TO_NEAREST] --> [~2013262208,~2013262208] --> OK
+[~0.2013262336E10,TO_NEAREST] --> [~2013262336,~2013262336] --> OK
+[~0.2013262464E10,TO_NEAREST] --> [~2013262464,~2013262464] --> OK
+[~0.2013262592E10,TO_NEAREST] --> [~2013262592,~2013262592] --> OK
+[~0.201326272E10,TO_NEAREST] --> [~2013262720,~2013262720] --> OK
+[~0.2013262848E10,TO_NEAREST] --> [~2013262848,~2013262848] --> OK
+[~0.2013262976E10,TO_NEAREST] --> [~2013262976,~2013262976] --> OK
+[~0.2013263104E10,TO_NEAREST] --> [~2013263104,~2013263104] --> OK
+[~0.2013263232E10,TO_NEAREST] --> [~2013263232,~2013263232] --> OK
+[~0.201326336E10,TO_NEAREST] --> [~2013263360,~2013263360] --> OK
+[~0.2013263488E10,TO_NEAREST] --> [~2013263488,~2013263488] --> OK
+[~0.2013263616E10,TO_NEAREST] --> [~2013263616,~2013263616] --> OK
+[~0.2013263744E10,TO_NEAREST] --> [~2013263744,~2013263744] --> OK
+[~0.2013263872E10,TO_NEAREST] --> [~2013263872,~2013263872] --> OK
+[~0.2013264E10,TO_NEAREST] --> [~2013264000,~2013264000] --> OK
+[~0.2013264128E10,TO_NEAREST] --> [~2013264128,~2013264128] --> OK
+[~0.2013264256E10,TO_NEAREST] --> [~2013264256,~2013264256] --> OK
+[~0.2013264384E10,TO_NEAREST] --> [~2013264384,~2013264384] --> OK
+[~0.2013264512E10,TO_NEAREST] --> [~2013264512,~2013264512] --> OK
+[~0.201326464E10,TO_NEAREST] --> [~2013264640,~2013264640] --> OK
+[~0.2013264768E10,TO_NEAREST] --> [~2013264768,~2013264768] --> OK
+[~0.2013264896E10,TO_NEAREST] --> [~2013264896,~2013264896] --> OK
+[~0.2013265024E10,TO_NEAREST] --> [~2013265024,~2013265024] --> OK
+[~0.2013265152E10,TO_NEAREST] --> [~2013265152,~2013265152] --> OK
+[~0.201326528E10,TO_NEAREST] --> [~2013265280,~2013265280] --> OK
+[~0.2013265408E10,TO_NEAREST] --> [~2013265408,~2013265408] --> OK
+[~0.2013265536E10,TO_NEAREST] --> [~2013265536,~2013265536] --> OK
+[~0.2013265664E10,TO_NEAREST] --> [~2013265664,~2013265664] --> OK
+[~0.2013265792E10,TO_NEAREST] --> [~2013265792,~2013265792] --> OK
+[~0.1879056384E10,TO_NEAREST] --> [~1879056384,~1879056384] --> OK
+[~0.1879056256E10,TO_NEAREST] --> [~1879056256,~1879056256] --> OK
+[~0.1879056128E10,TO_NEAREST] --> [~1879056128,~1879056128] --> OK
+[~0.1879056E10,TO_NEAREST] --> [~1879056000,~1879056000] --> OK
+[~0.1879055872E10,TO_NEAREST] --> [~1879055872,~1879055872] --> OK
+[~0.1879055744E10,TO_NEAREST] --> [~1879055744,~1879055744] --> OK
+[~0.1879055616E10,TO_NEAREST] --> [~1879055616,~1879055616] --> OK
+[~0.1879055488E10,TO_NEAREST] --> [~1879055488,~1879055488] --> OK
+[~0.187905536E10,TO_NEAREST] --> [~1879055360,~1879055360] --> OK
+[~0.1879055232E10,TO_NEAREST] --> [~1879055232,~1879055232] --> OK
+[~0.1879055104E10,TO_NEAREST] --> [~1879055104,~1879055104] --> OK
+[~0.1879054976E10,TO_NEAREST] --> [~1879054976,~1879054976] --> OK
+[~0.1879054848E10,TO_NEAREST] --> [~1879054848,~1879054848] --> OK
+[~0.187905472E10,TO_NEAREST] --> [~1879054720,~1879054720] --> OK
+[~0.1879054592E10,TO_NEAREST] --> [~1879054592,~1879054592] --> OK
+[~0.1879054464E10,TO_NEAREST] --> [~1879054464,~1879054464] --> OK
+[~0.1879054336E10,TO_NEAREST] --> [~1879054336,~1879054336] --> OK
+[~0.1879054208E10,TO_NEAREST] --> [~1879054208,~1879054208] --> OK
+[~0.187905408E10,TO_NEAREST] --> [~1879054080,~1879054080] --> OK
+[~0.1879053952E10,TO_NEAREST] --> [~1879053952,~1879053952] --> OK
+[~0.1879053824E10,TO_NEAREST] --> [~1879053824,~1879053824] --> OK
+[~0.1879053696E10,TO_NEAREST] --> [~1879053696,~1879053696] --> OK
+[~0.1879053568E10,TO_NEAREST] --> [~1879053568,~1879053568] --> OK
+[~0.187905344E10,TO_NEAREST] --> [~1879053440,~1879053440] --> OK
+[~0.1879053312E10,TO_NEAREST] --> [~1879053312,~1879053312] --> OK
+[~0.1879053184E10,TO_NEAREST] --> [~1879053184,~1879053184] --> OK
+[~0.1879053056E10,TO_NEAREST] --> [~1879053056,~1879053056] --> OK
+[~0.1879052928E10,TO_NEAREST] --> [~1879052928,~1879052928] --> OK
+[~0.18790528E10,TO_NEAREST] --> [~1879052800,~1879052800] --> OK
+[~0.1879052672E10,TO_NEAREST] --> [~1879052672,~1879052672] --> OK
+[~0.1879052544E10,TO_NEAREST] --> [~1879052544,~1879052544] --> OK
+[~0.1879052416E10,TO_NEAREST] --> [~1879052416,~1879052416] --> OK
+[~0.1879052288E10,TO_NEAREST] --> [~1879052288,~1879052288] --> OK
+[~0.187905216E10,TO_NEAREST] --> [~1879052160,~1879052160] --> OK
+[~0.1879052032E10,TO_NEAREST] --> [~1879052032,~1879052032] --> OK
+[~0.1879051904E10,TO_NEAREST] --> [~1879051904,~1879051904] --> OK
+[~0.1879051776E10,TO_NEAREST] --> [~1879051776,~1879051776] --> OK
+[~0.1879051648E10,TO_NEAREST] --> [~1879051648,~1879051648] --> OK
+[~0.187905152E10,TO_NEAREST] --> [~1879051520,~1879051520] --> OK
+[~0.1879051392E10,TO_NEAREST] --> [~1879051392,~1879051392] --> OK
+[~0.1879051264E10,TO_NEAREST] --> [~1879051264,~1879051264] --> OK
+[~0.1879051136E10,TO_NEAREST] --> [~1879051136,~1879051136] --> OK
+[~0.1879051008E10,TO_NEAREST] --> [~1879051008,~1879051008] --> OK
+[~0.187905088E10,TO_NEAREST] --> [~1879050880,~1879050880] --> OK
+[~0.1879050752E10,TO_NEAREST] --> [~1879050752,~1879050752] --> OK
+[~0.1879050624E10,TO_NEAREST] --> [~1879050624,~1879050624] --> OK
+[~0.1879050496E10,TO_NEAREST] --> [~1879050496,~18790504

