Home | History | Annotate | Download | only in decimaltestdata
      1 ------------------------------------------------------------------------
      2 -- quantize.decTest -- decimal quantize operation                     --
      3 -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
      4 ------------------------------------------------------------------------
      5 -- Please see the document "General Decimal Arithmetic Testcases"     --
      6 -- at http://www2.hursley.ibm.com/decimal for the description of      --
      7 -- these testcases.                                                   --
      8 --                                                                    --
      9 -- These testcases are experimental ('beta' versions), and they       --
     10 -- may contain errors.  They are offered on an as-is basis.  In       --
     11 -- particular, achieving the same results as the tests here is not    --
     12 -- a guarantee that an implementation complies with any Standard      --
     13 -- or specification.  The tests are not exhaustive.                   --
     14 --                                                                    --
     15 -- Please send comments, suggestions, and corrections to the author:  --
     16 --   Mike Cowlishaw, IBM Fellow                                       --
     17 --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
     18 --   mfc (a] uk.ibm.com                                                   --
     19 ------------------------------------------------------------------------
     20 version: 2.59
     21 
     22 -- Most of the tests here assume a "regular pattern", where the
     23 -- sign and coefficient are +1.
     24 -- 2004.03.15 Underflow for quantize is suppressed
     25 -- 2005.06.08 More extensive tests for 'does not fit'
     26 
     27 extended:    1
     28 precision:   9
     29 rounding:    half_up
     30 maxExponent: 999
     31 minexponent: -999
     32 
     33 -- sanity checks
     34 quax001 quantize 0       1e0   -> 0
     35 quax002 quantize 1       1e0   -> 1
     36 quax003 quantize 0.1    1e+2   -> 0E+2 Inexact Rounded
     37 quax005 quantize 0.1    1e+1   -> 0E+1 Inexact Rounded
     38 quax006 quantize 0.1     1e0   -> 0 Inexact Rounded
     39 quax007 quantize 0.1    1e-1   -> 0.1
     40 quax008 quantize 0.1    1e-2   -> 0.10
     41 quax009 quantize 0.1    1e-3   -> 0.100
     42 quax010 quantize 0.9    1e+2   -> 0E+2 Inexact Rounded
     43 quax011 quantize 0.9    1e+1   -> 0E+1 Inexact Rounded
     44 quax012 quantize 0.9    1e+0   -> 1 Inexact Rounded
     45 quax013 quantize 0.9    1e-1   -> 0.9
     46 quax014 quantize 0.9    1e-2   -> 0.90
     47 quax015 quantize 0.9    1e-3   -> 0.900
     48 -- negatives
     49 quax021 quantize -0      1e0   -> -0
     50 quax022 quantize -1      1e0   -> -1
     51 quax023 quantize -0.1   1e+2   -> -0E+2 Inexact Rounded
     52 quax025 quantize -0.1   1e+1   -> -0E+1 Inexact Rounded
     53 quax026 quantize -0.1    1e0   -> -0 Inexact Rounded
     54 quax027 quantize -0.1   1e-1   -> -0.1
     55 quax028 quantize -0.1   1e-2   -> -0.10
     56 quax029 quantize -0.1   1e-3   -> -0.100
     57 quax030 quantize -0.9   1e+2   -> -0E+2 Inexact Rounded
     58 quax031 quantize -0.9   1e+1   -> -0E+1 Inexact Rounded
     59 quax032 quantize -0.9   1e+0   -> -1 Inexact Rounded
     60 quax033 quantize -0.9   1e-1   -> -0.9
     61 quax034 quantize -0.9   1e-2   -> -0.90
     62 quax035 quantize -0.9   1e-3   -> -0.900
     63 quax036 quantize -0.5   1e+2   -> -0E+2 Inexact Rounded
     64 quax037 quantize -0.5   1e+1   -> -0E+1 Inexact Rounded
     65 quax038 quantize -0.5   1e+0   -> -1 Inexact Rounded
     66 quax039 quantize -0.5   1e-1   -> -0.5
     67 quax040 quantize -0.5   1e-2   -> -0.50
     68 quax041 quantize -0.5   1e-3   -> -0.500
     69 quax042 quantize -0.9   1e+2   -> -0E+2 Inexact Rounded
     70 quax043 quantize -0.9   1e+1   -> -0E+1 Inexact Rounded
     71 quax044 quantize -0.9   1e+0   -> -1 Inexact Rounded
     72 quax045 quantize -0.9   1e-1   -> -0.9
     73 quax046 quantize -0.9   1e-2   -> -0.90
     74 quax047 quantize -0.9   1e-3   -> -0.900
     75 
     76 -- examples from Specification
     77 quax060 quantize 2.17   0.001  -> 2.170
     78 quax061 quantize 2.17   0.01   -> 2.17
     79 quax062 quantize 2.17   0.1    -> 2.2 Inexact Rounded
     80 quax063 quantize 2.17   1e+0   -> 2 Inexact Rounded
     81 quax064 quantize 2.17   1e+1   -> 0E+1 Inexact Rounded
     82 quax065 quantize -Inf    Inf   -> -Infinity
     83 quax066 quantize 2       Inf   -> NaN Invalid_operation
     84 quax067 quantize -0.1    1     -> -0 Inexact Rounded
     85 quax068 quantize -0      1e+5     -> -0E+5
     86 quax069 quantize +35236450.6 1e-2 -> NaN Invalid_operation
     87 quax070 quantize -35236450.6 1e-2 -> NaN Invalid_operation
     88 quax071 quantize 217    1e-1   -> 217.0
     89 quax072 quantize 217    1e+0   -> 217
     90 quax073 quantize 217    1e+1   -> 2.2E+2 Inexact Rounded
     91 quax074 quantize 217    1e+2   -> 2E+2 Inexact Rounded
     92 
     93 -- general tests ..
     94 quax089 quantize 12     1e+4   -> 0E+4 Inexact Rounded
     95 quax090 quantize 12     1e+3   -> 0E+3 Inexact Rounded
     96 quax091 quantize 12     1e+2   -> 0E+2 Inexact Rounded
     97 quax092 quantize 12     1e+1   -> 1E+1 Inexact Rounded
     98 quax093 quantize 1.2345 1e-2   -> 1.23 Inexact Rounded
     99 quax094 quantize 1.2355 1e-2   -> 1.24 Inexact Rounded
    100 quax095 quantize 1.2345 1e-6   -> 1.234500
    101 quax096 quantize 9.9999 1e-2   -> 10.00 Inexact Rounded
    102 quax097 quantize 0.0001 1e-2   -> 0.00 Inexact Rounded
    103 quax098 quantize 0.001  1e-2   -> 0.00 Inexact Rounded
    104 quax099 quantize 0.009  1e-2   -> 0.01 Inexact Rounded
    105 quax100 quantize 92     1e+2   -> 1E+2 Inexact Rounded
    106 
    107 quax101 quantize -1      1e0   ->  -1
    108 quax102 quantize -1     1e-1   ->  -1.0
    109 quax103 quantize -1     1e-2   ->  -1.00
    110 quax104 quantize  0      1e0   ->  0
    111 quax105 quantize  0     1e-1   ->  0.0
    112 quax106 quantize  0     1e-2   ->  0.00
    113 quax107 quantize  0.00   1e0   ->  0
    114 quax108 quantize  0     1e+1   ->  0E+1
    115 quax109 quantize  0     1e+2   ->  0E+2
    116 quax110 quantize +1      1e0   ->  1
    117 quax111 quantize +1     1e-1   ->  1.0
    118 quax112 quantize +1     1e-2   ->  1.00
    119 
    120 quax120 quantize   1.04  1e-3 ->  1.040
    121 quax121 quantize   1.04  1e-2 ->  1.04
    122 quax122 quantize   1.04  1e-1 ->  1.0 Inexact Rounded
    123 quax123 quantize   1.04   1e0 ->  1 Inexact Rounded
    124 quax124 quantize   1.05  1e-3 ->  1.050
    125 quax125 quantize   1.05  1e-2 ->  1.05
    126 quax126 quantize   1.05  1e-1 ->  1.1 Inexact Rounded
    127 quax131 quantize   1.05   1e0 ->  1 Inexact Rounded
    128 quax132 quantize   1.06  1e-3 ->  1.060
    129 quax133 quantize   1.06  1e-2 ->  1.06
    130 quax134 quantize   1.06  1e-1 ->  1.1 Inexact Rounded
    131 quax135 quantize   1.06   1e0 ->  1 Inexact Rounded
    132 
    133 quax140 quantize   -10    1e-2  ->  -10.00
    134 quax141 quantize   +1     1e-2  ->  1.00
    135 quax142 quantize   +10    1e-2  ->  10.00
    136 quax143 quantize   1E+10  1e-2  ->  NaN Invalid_operation
    137 quax144 quantize   1E-10  1e-2  ->  0.00 Inexact Rounded
    138 quax145 quantize   1E-3   1e-2  ->  0.00 Inexact Rounded
    139 quax146 quantize   1E-2   1e-2  ->  0.01
    140 quax147 quantize   1E-1   1e-2  ->  0.10
    141 quax148 quantize   0E-10  1e-2  ->  0.00
    142 
    143 quax150 quantize   1.0600 1e-5 ->  1.06000
    144 quax151 quantize   1.0600 1e-4 ->  1.0600
    145 quax152 quantize   1.0600 1e-3 ->  1.060 Rounded
    146 quax153 quantize   1.0600 1e-2 ->  1.06 Rounded
    147 quax154 quantize   1.0600 1e-1 ->  1.1 Inexact Rounded
    148 quax155 quantize   1.0600  1e0 ->  1 Inexact Rounded
    149 
    150 -- base tests with non-1 coefficients
    151 quax161 quantize 0      -9e0   -> 0
    152 quax162 quantize 1      -7e0   -> 1
    153 quax163 quantize 0.1   -1e+2   -> 0E+2 Inexact Rounded
    154 quax165 quantize 0.1    0e+1   -> 0E+1 Inexact Rounded
    155 quax166 quantize 0.1     2e0   -> 0 Inexact Rounded
    156 quax167 quantize 0.1    3e-1   -> 0.1
    157 quax168 quantize 0.1   44e-2   -> 0.10
    158 quax169 quantize 0.1  555e-3   -> 0.100
    159 quax170 quantize 0.9 6666e+2   -> 0E+2 Inexact Rounded
    160 quax171 quantize 0.9 -777e+1   -> 0E+1 Inexact Rounded
    161 quax172 quantize 0.9  -88e+0   -> 1 Inexact Rounded
    162 quax173 quantize 0.9   -9e-1   -> 0.9
    163 quax174 quantize 0.9    0e-2   -> 0.90
    164 quax175 quantize 0.9  1.1e-3   -> 0.9000
    165 -- negatives
    166 quax181 quantize -0    1.1e0   -> -0.0
    167 quax182 quantize -1     -1e0   -> -1
    168 quax183 quantize -0.1  11e+2   -> -0E+2 Inexact Rounded
    169 quax185 quantize -0.1 111e+1   -> -0E+1 Inexact Rounded
    170 quax186 quantize -0.1   71e0   -> -0 Inexact Rounded
    171 quax187 quantize -0.1 -91e-1   -> -0.1
    172 quax188 quantize -0.1 -.1e-2   -> -0.100
    173 quax189 quantize -0.1  -1e-3   -> -0.100
    174 quax190 quantize -0.9   0e+2   -> -0E+2 Inexact Rounded
    175 quax191 quantize -0.9  -0e+1   -> -0E+1 Inexact Rounded
    176 quax192 quantize -0.9 -10e+0   -> -1 Inexact Rounded
    177 quax193 quantize -0.9 100e-1   -> -0.9
    178 quax194 quantize -0.9 999e-2   -> -0.90
    179 
    180 -- +ve exponents ..
    181 quax201 quantize   -1   1e+0 ->  -1
    182 quax202 quantize   -1   1e+1 ->  -0E+1 Inexact Rounded
    183 quax203 quantize   -1   1e+2 ->  -0E+2 Inexact Rounded
    184 quax204 quantize    0   1e+0 ->  0
    185 quax205 quantize    0   1e+1 ->  0E+1
    186 quax206 quantize    0   1e+2 ->  0E+2
    187 quax207 quantize   +1   1e+0 ->  1
    188 quax208 quantize   +1   1e+1 ->  0E+1 Inexact Rounded
    189 quax209 quantize   +1   1e+2 ->  0E+2 Inexact Rounded
    190 
    191 quax220 quantize   1.04 1e+3 ->  0E+3 Inexact Rounded
    192 quax221 quantize   1.04 1e+2 ->  0E+2 Inexact Rounded
    193 quax222 quantize   1.04 1e+1 ->  0E+1 Inexact Rounded
    194 quax223 quantize   1.04 1e+0 ->  1 Inexact Rounded
    195 quax224 quantize   1.05 1e+3 ->  0E+3 Inexact Rounded
    196 quax225 quantize   1.05 1e+2 ->  0E+2 Inexact Rounded
    197 quax226 quantize   1.05 1e+1 ->  0E+1 Inexact Rounded
    198 quax227 quantize   1.05 1e+0 ->  1 Inexact Rounded
    199 quax228 quantize   1.05 1e+3 ->  0E+3 Inexact Rounded
    200 quax229 quantize   1.05 1e+2 ->  0E+2 Inexact Rounded
    201 quax230 quantize   1.05 1e+1 ->  0E+1 Inexact Rounded
    202 quax231 quantize   1.05 1e+0 ->  1 Inexact Rounded
    203 quax232 quantize   1.06 1e+3 ->  0E+3 Inexact Rounded
    204 quax233 quantize   1.06 1e+2 ->  0E+2 Inexact Rounded
    205 quax234 quantize   1.06 1e+1 ->  0E+1 Inexact Rounded
    206 quax235 quantize   1.06 1e+0 ->  1 Inexact Rounded
    207 
    208 quax240 quantize   -10   1e+1  ->  -1E+1 Rounded
    209 quax241 quantize   +1    1e+1  ->  0E+1 Inexact Rounded
    210 quax242 quantize   +10   1e+1  ->  1E+1 Rounded
    211 quax243 quantize   1E+1  1e+1  ->  1E+1          -- underneath this is E+1
    212 quax244 quantize   1E+2  1e+1  ->  1.0E+2        -- underneath this is E+1
    213 quax245 quantize   1E+3  1e+1  ->  1.00E+3       -- underneath this is E+1
    214 quax246 quantize   1E+4  1e+1  ->  1.000E+4      -- underneath this is E+1
    215 quax247 quantize   1E+5  1e+1  ->  1.0000E+5     -- underneath this is E+1
    216 quax248 quantize   1E+6  1e+1  ->  1.00000E+6    -- underneath this is E+1
    217 quax249 quantize   1E+7  1e+1  ->  1.000000E+7   -- underneath this is E+1
    218 quax250 quantize   1E+8  1e+1  ->  1.0000000E+8  -- underneath this is E+1
    219 quax251 quantize   1E+9  1e+1  ->  1.00000000E+9 -- underneath this is E+1
    220 -- next one tries to add 9 zeros
    221 quax252 quantize   1E+10 1e+1  ->  NaN Invalid_operation
    222 quax253 quantize   1E-10 1e+1  ->  0E+1 Inexact Rounded
    223 quax254 quantize   1E-2  1e+1  ->  0E+1 Inexact Rounded
    224 quax255 quantize   0E-10 1e+1  ->  0E+1
    225 quax256 quantize  -0E-10 1e+1  -> -0E+1
    226 quax257 quantize  -0E-1  1e+1  -> -0E+1
    227 quax258 quantize  -0     1e+1  -> -0E+1
    228 quax259 quantize  -0E+1  1e+1  -> -0E+1
    229 
    230 quax260 quantize   -10   1e+2  ->  -0E+2 Inexact Rounded
    231 quax261 quantize   +1    1e+2  ->  0E+2 Inexact Rounded
    232 quax262 quantize   +10   1e+2  ->  0E+2 Inexact Rounded
    233 quax263 quantize   1E+1  1e+2  ->  0E+2 Inexact Rounded
    234 quax264 quantize   1E+2  1e+2  ->  1E+2
    235 quax265 quantize   1E+3  1e+2  ->  1.0E+3
    236 quax266 quantize   1E+4  1e+2  ->  1.00E+4
    237 quax267 quantize   1E+5  1e+2  ->  1.000E+5
    238 quax268 quantize   1E+6  1e+2  ->  1.0000E+6
    239 quax269 quantize   1E+7  1e+2  ->  1.00000E+7
    240 quax270 quantize   1E+8  1e+2  ->  1.000000E+8
    241 quax271 quantize   1E+9  1e+2  ->  1.0000000E+9
    242 quax272 quantize   1E+10 1e+2  ->  1.00000000E+10
    243 quax273 quantize   1E-10 1e+2  ->  0E+2 Inexact Rounded
    244 quax274 quantize   1E-2  1e+2  ->  0E+2 Inexact Rounded
    245 quax275 quantize   0E-10 1e+2  ->  0E+2
    246 
    247 quax280 quantize   -10   1e+3  ->  -0E+3 Inexact Rounded
    248 quax281 quantize   +1    1e+3  ->  0E+3 Inexact Rounded
    249 quax282 quantize   +10   1e+3  ->  0E+3 Inexact Rounded
    250 quax283 quantize   1E+1  1e+3  ->  0E+3 Inexact Rounded
    251 quax284 quantize   1E+2  1e+3  ->  0E+3 Inexact Rounded
    252 quax285 quantize   1E+3  1e+3  ->  1E+3
    253 quax286 quantize   1E+4  1e+3  ->  1.0E+4
    254 quax287 quantize   1E+5  1e+3  ->  1.00E+5
    255 quax288 quantize   1E+6  1e+3  ->  1.000E+6
    256 quax289 quantize   1E+7  1e+3  ->  1.0000E+7
    257 quax290 quantize   1E+8  1e+3  ->  1.00000E+8
    258 quax291 quantize   1E+9  1e+3  ->  1.000000E+9
    259 quax292 quantize   1E+10 1e+3  ->  1.0000000E+10
    260 quax293 quantize   1E-10 1e+3  ->  0E+3 Inexact Rounded
    261 quax294 quantize   1E-2  1e+3  ->  0E+3 Inexact Rounded
    262 quax295 quantize   0E-10 1e+3  ->  0E+3
    263 
    264 -- round up from below [sign wrong in JIT compiler once]
    265 quax300 quantize   0.0078 1e-5 ->  0.00780
    266 quax301 quantize   0.0078 1e-4 ->  0.0078
    267 quax302 quantize   0.0078 1e-3 ->  0.008 Inexact Rounded
    268 quax303 quantize   0.0078 1e-2 ->  0.01 Inexact Rounded
    269 quax304 quantize   0.0078 1e-1 ->  0.0 Inexact Rounded
    270 quax305 quantize   0.0078  1e0 ->  0 Inexact Rounded
    271 quax306 quantize   0.0078 1e+1 ->  0E+1 Inexact Rounded
    272 quax307 quantize   0.0078 1e+2 ->  0E+2 Inexact Rounded
    273 
    274 quax310 quantize  -0.0078 1e-5 -> -0.00780
    275 quax311 quantize  -0.0078 1e-4 -> -0.0078
    276 quax312 quantize  -0.0078 1e-3 -> -0.008 Inexact Rounded
    277 quax313 quantize  -0.0078 1e-2 -> -0.01 Inexact Rounded
    278 quax314 quantize  -0.0078 1e-1 -> -0.0 Inexact Rounded
    279 quax315 quantize  -0.0078  1e0 -> -0 Inexact Rounded
    280 quax316 quantize  -0.0078 1e+1 -> -0E+1 Inexact Rounded
    281 quax317 quantize  -0.0078 1e+2 -> -0E+2 Inexact Rounded
    282 
    283 quax320 quantize   0.078 1e-5 ->  0.07800
    284 quax321 quantize   0.078 1e-4 ->  0.0780
    285 quax322 quantize   0.078 1e-3 ->  0.078
    286 quax323 quantize   0.078 1e-2 ->  0.08 Inexact Rounded
    287 quax324 quantize   0.078 1e-1 ->  0.1 Inexact Rounded
    288 quax325 quantize   0.078  1e0 ->  0 Inexact Rounded
    289 quax326 quantize   0.078 1e+1 ->  0E+1 Inexact Rounded
    290 quax327 quantize   0.078 1e+2 ->  0E+2 Inexact Rounded
    291 
    292 quax330 quantize  -0.078 1e-5 -> -0.07800
    293 quax331 quantize  -0.078 1e-4 -> -0.0780
    294 quax332 quantize  -0.078 1e-3 -> -0.078
    295 quax333 quantize  -0.078 1e-2 -> -0.08 Inexact Rounded
    296 quax334 quantize  -0.078 1e-1 -> -0.1 Inexact Rounded
    297 quax335 quantize  -0.078  1e0 -> -0 Inexact Rounded
    298 quax336 quantize  -0.078 1e+1 -> -0E+1 Inexact Rounded
    299 quax337 quantize  -0.078 1e+2 -> -0E+2 Inexact Rounded
    300 
    301 quax340 quantize   0.78 1e-5 ->  0.78000
    302 quax341 quantize   0.78 1e-4 ->  0.7800
    303 quax342 quantize   0.78 1e-3 ->  0.780
    304 quax343 quantize   0.78 1e-2 ->  0.78
    305 quax344 quantize   0.78 1e-1 ->  0.8 Inexact Rounded
    306 quax345 quantize   0.78  1e0 ->  1 Inexact Rounded
    307 quax346 quantize   0.78 1e+1 ->  0E+1 Inexact Rounded
    308 quax347 quantize   0.78 1e+2 ->  0E+2 Inexact Rounded
    309 
    310 quax350 quantize  -0.78 1e-5 -> -0.78000
    311 quax351 quantize  -0.78 1e-4 -> -0.7800
    312 quax352 quantize  -0.78 1e-3 -> -0.780
    313 quax353 quantize  -0.78 1e-2 -> -0.78
    314 quax354 quantize  -0.78 1e-1 -> -0.8 Inexact Rounded
    315 quax355 quantize  -0.78  1e0 -> -1 Inexact Rounded
    316 quax356 quantize  -0.78 1e+1 -> -0E+1 Inexact Rounded
    317 quax357 quantize  -0.78 1e+2 -> -0E+2 Inexact Rounded
    318 
    319 quax360 quantize   7.8 1e-5 ->  7.80000
    320 quax361 quantize   7.8 1e-4 ->  7.8000
    321 quax362 quantize   7.8 1e-3 ->  7.800
    322 quax363 quantize   7.8 1e-2 ->  7.80
    323 quax364 quantize   7.8 1e-1 ->  7.8
    324 quax365 quantize   7.8  1e0 ->  8 Inexact Rounded
    325 quax366 quantize   7.8 1e+1 ->  1E+1 Inexact Rounded
    326 quax367 quantize   7.8 1e+2 ->  0E+2 Inexact Rounded
    327 quax368 quantize   7.8 1e+3 ->  0E+3 Inexact Rounded
    328 
    329 quax370 quantize  -7.8 1e-5 -> -7.80000
    330 quax371 quantize  -7.8 1e-4 -> -7.8000
    331 quax372 quantize  -7.8 1e-3 -> -7.800
    332 quax373 quantize  -7.8 1e-2 -> -7.80
    333 quax374 quantize  -7.8 1e-1 -> -7.8
    334 quax375 quantize  -7.8  1e0 -> -8 Inexact Rounded
    335 quax376 quantize  -7.8 1e+1 -> -1E+1 Inexact Rounded
    336 quax377 quantize  -7.8 1e+2 -> -0E+2 Inexact Rounded
    337 quax378 quantize  -7.8 1e+3 -> -0E+3 Inexact Rounded
    338 
    339 -- some individuals
    340 precision: 9
    341 quax380 quantize   352364.506 1e-2 -> 352364.51 Inexact Rounded
    342 quax381 quantize   3523645.06 1e-2 -> 3523645.06
    343 quax382 quantize   35236450.6 1e-2 -> NaN Invalid_operation
    344 quax383 quantize   352364506  1e-2 -> NaN Invalid_operation
    345 quax384 quantize  -352364.506 1e-2 -> -352364.51 Inexact Rounded
    346 quax385 quantize  -3523645.06 1e-2 -> -3523645.06
    347 quax386 quantize  -35236450.6 1e-2 -> NaN Invalid_operation
    348 quax387 quantize  -352364506  1e-2 -> NaN Invalid_operation
    349 
    350 rounding: down
    351 quax389 quantize   35236450.6 1e-2 -> NaN Invalid_operation
    352 -- ? should that one instead have been:
    353 -- quax389 quantize   35236450.6 1e-2 -> NaN Invalid_operation
    354 rounding: half_up
    355 
    356 -- and a few more from e-mail discussions
    357 precision: 7
    358 quax391 quantize  12.34567  1e-3 -> 12.346   Inexact Rounded
    359 quax392 quantize  123.4567  1e-3 -> 123.457  Inexact Rounded
    360 quax393 quantize  1234.567  1e-3 -> 1234.567
    361 quax394 quantize  12345.67  1e-3 -> NaN Invalid_operation
    362 quax395 quantize  123456.7  1e-3 -> NaN Invalid_operation
    363 quax396 quantize  1234567.  1e-3 -> NaN Invalid_operation
    364 
    365 -- some 9999 round-up cases
    366 precision: 9
    367 quax400 quantize   9.999        1e-5  ->  9.99900
    368 quax401 quantize   9.999        1e-4  ->  9.9990
    369 quax402 quantize   9.999        1e-3  ->  9.999
    370 quax403 quantize   9.999        1e-2  -> 10.00     Inexact Rounded
    371 quax404 quantize   9.999        1e-1  -> 10.0      Inexact Rounded
    372 quax405 quantize   9.999         1e0  -> 10        Inexact Rounded
    373 quax406 quantize   9.999         1e1  -> 1E+1      Inexact Rounded
    374 quax407 quantize   9.999         1e2  -> 0E+2      Inexact Rounded
    375 
    376 quax410 quantize   0.999        1e-5  ->  0.99900
    377 quax411 quantize   0.999        1e-4  ->  0.9990
    378 quax412 quantize   0.999        1e-3  ->  0.999
    379 quax413 quantize   0.999        1e-2  ->  1.00     Inexact Rounded
    380 quax414 quantize   0.999        1e-1  ->  1.0      Inexact Rounded
    381 quax415 quantize   0.999         1e0  ->  1        Inexact Rounded
    382 quax416 quantize   0.999         1e1  -> 0E+1      Inexact Rounded
    383 
    384 quax420 quantize   0.0999       1e-5  ->  0.09990
    385 quax421 quantize   0.0999       1e-4  ->  0.0999
    386 quax422 quantize   0.0999       1e-3  ->  0.100    Inexact Rounded
    387 quax423 quantize   0.0999       1e-2  ->  0.10     Inexact Rounded
    388 quax424 quantize   0.0999       1e-1  ->  0.1      Inexact Rounded
    389 quax425 quantize   0.0999        1e0  ->  0        Inexact Rounded
    390 quax426 quantize   0.0999        1e1  -> 0E+1      Inexact Rounded
    391 
    392 quax430 quantize   0.00999      1e-5  ->  0.00999
    393 quax431 quantize   0.00999      1e-4  ->  0.0100   Inexact Rounded
    394 quax432 quantize   0.00999      1e-3  ->  0.010    Inexact Rounded
    395 quax433 quantize   0.00999      1e-2  ->  0.01     Inexact Rounded
    396 quax434 quantize   0.00999      1e-1  ->  0.0      Inexact Rounded
    397 quax435 quantize   0.00999       1e0  ->  0        Inexact Rounded
    398 quax436 quantize   0.00999       1e1  -> 0E+1      Inexact Rounded
    399 
    400 quax440 quantize   0.000999     1e-5  ->  0.00100  Inexact Rounded
    401 quax441 quantize   0.000999     1e-4  ->  0.0010   Inexact Rounded
    402 quax442 quantize   0.000999     1e-3  ->  0.001    Inexact Rounded
    403 quax443 quantize   0.000999     1e-2  ->  0.00     Inexact Rounded
    404 quax444 quantize   0.000999     1e-1  ->  0.0      Inexact Rounded
    405 quax445 quantize   0.000999      1e0  ->  0        Inexact Rounded
    406 quax446 quantize   0.000999      1e1  -> 0E+1      Inexact Rounded
    407 
    408 precision: 8
    409 quax449 quantize   9.999E-15    1e-23 ->  NaN Invalid_operation
    410 quax450 quantize   9.999E-15    1e-22 ->  9.9990000E-15
    411 quax451 quantize   9.999E-15    1e-21 ->  9.999000E-15
    412 quax452 quantize   9.999E-15    1e-20 ->  9.99900E-15
    413 quax453 quantize   9.999E-15    1e-19 ->  9.9990E-15
    414 quax454 quantize   9.999E-15    1e-18 ->  9.999E-15
    415 quax455 quantize   9.999E-15    1e-17 ->  1.000E-14 Inexact Rounded
    416 quax456 quantize   9.999E-15    1e-16 ->  1.00E-14  Inexact Rounded
    417 quax457 quantize   9.999E-15    1e-15 ->  1.0E-14   Inexact Rounded
    418 quax458 quantize   9.999E-15    1e-14 ->  1E-14     Inexact Rounded
    419 quax459 quantize   9.999E-15    1e-13 ->  0E-13     Inexact Rounded
    420 quax460 quantize   9.999E-15    1e-12 ->  0E-12     Inexact Rounded
    421 quax461 quantize   9.999E-15    1e-11 ->  0E-11     Inexact Rounded
    422 quax462 quantize   9.999E-15    1e-10 ->  0E-10     Inexact Rounded
    423 quax463 quantize   9.999E-15     1e-9 ->  0E-9      Inexact Rounded
    424 quax464 quantize   9.999E-15     1e-8 ->  0E-8      Inexact Rounded
    425 quax465 quantize   9.999E-15     1e-7 ->  0E-7      Inexact Rounded
    426 quax466 quantize   9.999E-15     1e-6 ->  0.000000  Inexact Rounded
    427 quax467 quantize   9.999E-15     1e-5 ->  0.00000   Inexact Rounded
    428 quax468 quantize   9.999E-15     1e-4 ->  0.0000    Inexact Rounded
    429 quax469 quantize   9.999E-15     1e-3 ->  0.000     Inexact Rounded
    430 quax470 quantize   9.999E-15     1e-2 ->  0.00      Inexact Rounded
    431 quax471 quantize   9.999E-15     1e-1 ->  0.0       Inexact Rounded
    432 quax472 quantize   9.999E-15      1e0 ->  0         Inexact Rounded
    433 quax473 quantize   9.999E-15      1e1 ->  0E+1      Inexact Rounded
    434 
    435 precision: 7
    436 quax900 quantize   9.999E-15    1e-22 ->  NaN       Invalid_operation
    437 quax901 quantize   9.999E-15    1e-21 ->  9.999000E-15
    438 quax902 quantize   9.999E-15    1e-20 ->  9.99900E-15
    439 quax903 quantize   9.999E-15    1e-19 ->  9.9990E-15
    440 quax904 quantize   9.999E-15    1e-18 ->  9.999E-15
    441 quax905 quantize   9.999E-15    1e-17 ->  1.000E-14 Inexact Rounded
    442 quax906 quantize   9.999E-15    1e-16 ->  1.00E-14  Inexact Rounded
    443 quax907 quantize   9.999E-15    1e-15 ->  1.0E-14   Inexact Rounded
    444 quax908 quantize   9.999E-15    1e-14 ->  1E-14     Inexact Rounded
    445 quax909 quantize   9.999E-15    1e-13 ->  0E-13     Inexact Rounded
    446 quax910 quantize   9.999E-15    1e-12 ->  0E-12     Inexact Rounded
    447 quax911 quantize   9.999E-15    1e-11 ->  0E-11     Inexact Rounded
    448 quax912 quantize   9.999E-15    1e-10 ->  0E-10     Inexact Rounded
    449 quax913 quantize   9.999E-15     1e-9 ->  0E-9      Inexact Rounded
    450 quax914 quantize   9.999E-15     1e-8 ->  0E-8      Inexact Rounded
    451 quax915 quantize   9.999E-15     1e-7 ->  0E-7      Inexact Rounded
    452 quax916 quantize   9.999E-15     1e-6 ->  0.000000  Inexact Rounded
    453 quax917 quantize   9.999E-15     1e-5 ->  0.00000   Inexact Rounded
    454 quax918 quantize   9.999E-15     1e-4 ->  0.0000    Inexact Rounded
    455 quax919 quantize   9.999E-15     1e-3 ->  0.000     Inexact Rounded
    456 quax920 quantize   9.999E-15     1e-2 ->  0.00      Inexact Rounded
    457 quax921 quantize   9.999E-15     1e-1 ->  0.0       Inexact Rounded
    458 quax922 quantize   9.999E-15      1e0 ->  0         Inexact Rounded
    459 quax923 quantize   9.999E-15      1e1 ->  0E+1      Inexact Rounded
    460 
    461 precision: 6
    462 quax930 quantize   9.999E-15    1e-22 ->  NaN       Invalid_operation
    463 quax931 quantize   9.999E-15    1e-21 ->  NaN       Invalid_operation
    464 quax932 quantize   9.999E-15    1e-20 ->  9.99900E-15
    465 quax933 quantize   9.999E-15    1e-19 ->  9.9990E-15
    466 quax934 quantize   9.999E-15    1e-18 ->  9.999E-15
    467 quax935 quantize   9.999E-15    1e-17 ->  1.000E-14 Inexact Rounded
    468 quax936 quantize   9.999E-15    1e-16 ->  1.00E-14  Inexact Rounded
    469 quax937 quantize   9.999E-15    1e-15 ->  1.0E-14   Inexact Rounded
    470 quax938 quantize   9.999E-15    1e-14 ->  1E-14     Inexact Rounded
    471 quax939 quantize   9.999E-15    1e-13 ->  0E-13     Inexact Rounded
    472 quax940 quantize   9.999E-15    1e-12 ->  0E-12     Inexact Rounded
    473 quax941 quantize   9.999E-15    1e-11 ->  0E-11     Inexact Rounded
    474 quax942 quantize   9.999E-15    1e-10 ->  0E-10     Inexact Rounded
    475 quax943 quantize   9.999E-15     1e-9 ->  0E-9      Inexact Rounded
    476 quax944 quantize   9.999E-15     1e-8 ->  0E-8      Inexact Rounded
    477 quax945 quantize   9.999E-15     1e-7 ->  0E-7      Inexact Rounded
    478 quax946 quantize   9.999E-15     1e-6 ->  0.000000  Inexact Rounded
    479 quax947 quantize   9.999E-15     1e-5 ->  0.00000   Inexact Rounded
    480 quax948 quantize   9.999E-15     1e-4 ->  0.0000    Inexact Rounded
    481 quax949 quantize   9.999E-15     1e-3 ->  0.000     Inexact Rounded
    482 quax950 quantize   9.999E-15     1e-2 ->  0.00      Inexact Rounded
    483 quax951 quantize   9.999E-15     1e-1 ->  0.0       Inexact Rounded
    484 quax952 quantize   9.999E-15      1e0 ->  0         Inexact Rounded
    485 quax953 quantize   9.999E-15      1e1 ->  0E+1      Inexact Rounded
    486 
    487 precision: 3
    488 quax960 quantize   9.999E-15    1e-22 ->  NaN       Invalid_operation
    489 quax961 quantize   9.999E-15    1e-21 ->  NaN       Invalid_operation
    490 quax962 quantize   9.999E-15    1e-20 ->  NaN       Invalid_operation
    491 quax963 quantize   9.999E-15    1e-19 ->  NaN       Invalid_operation
    492 quax964 quantize   9.999E-15    1e-18 ->  NaN       Invalid_operation
    493 quax965 quantize   9.999E-15    1e-17 ->  NaN       Invalid_operation
    494 quax966 quantize   9.999E-15    1e-16 ->  1.00E-14  Inexact Rounded
    495 quax967 quantize   9.999E-15    1e-15 ->  1.0E-14   Inexact Rounded
    496 quax968 quantize   9.999E-15    1e-14 ->  1E-14     Inexact Rounded
    497 quax969 quantize   9.999E-15    1e-13 ->  0E-13     Inexact Rounded
    498 quax970 quantize   9.999E-15    1e-12 ->  0E-12     Inexact Rounded
    499 quax971 quantize   9.999E-15    1e-11 ->  0E-11     Inexact Rounded
    500 quax972 quantize   9.999E-15    1e-10 ->  0E-10     Inexact Rounded
    501 quax973 quantize   9.999E-15     1e-9 ->  0E-9      Inexact Rounded
    502 quax974 quantize   9.999E-15     1e-8 ->  0E-8      Inexact Rounded
    503 quax975 quantize   9.999E-15     1e-7 ->  0E-7      Inexact Rounded
    504 quax976 quantize   9.999E-15     1e-6 ->  0.000000  Inexact Rounded
    505 quax977 quantize   9.999E-15     1e-5 ->  0.00000   Inexact Rounded
    506 quax978 quantize   9.999E-15     1e-4 ->  0.0000    Inexact Rounded
    507 quax979 quantize   9.999E-15     1e-3 ->  0.000     Inexact Rounded
    508 quax980 quantize   9.999E-15     1e-2 ->  0.00      Inexact Rounded
    509 quax981 quantize   9.999E-15     1e-1 ->  0.0       Inexact Rounded
    510 quax982 quantize   9.999E-15      1e0 ->  0         Inexact Rounded
    511 quax983 quantize   9.999E-15      1e1 ->  0E+1      Inexact Rounded
    512 
    513 -- Fung Lee's case & similar
    514 precision: 3
    515 quax1001 quantize  0.000        0.001 ->  0.000
    516 quax1002 quantize  0.001        0.001 ->  0.001
    517 quax1003 quantize  0.0012       0.001 ->  0.001     Inexact Rounded
    518 quax1004 quantize  0.0018       0.001 ->  0.002     Inexact Rounded
    519 quax1005 quantize  0.501        0.001 ->  0.501
    520 quax1006 quantize  0.5012       0.001 ->  0.501     Inexact Rounded
    521 quax1007 quantize  0.5018       0.001 ->  0.502     Inexact Rounded
    522 quax1008 quantize  0.999        0.001 ->  0.999
    523 quax1009 quantize  0.9992       0.001 ->  0.999     Inexact Rounded
    524 quax1010 quantize  0.9998       0.001 ->  NaN       Invalid_operation
    525 quax1011 quantize  1.0001       0.001 ->  NaN       Invalid_operation
    526 quax1012 quantize  1.0051       0.001 ->  NaN       Invalid_operation
    527 quax1013 quantize  1.0551       0.001 ->  NaN       Invalid_operation
    528 quax1014 quantize  1.5551       0.001 ->  NaN       Invalid_operation
    529 quax1015 quantize  1.9999       0.001 ->  NaN       Invalid_operation
    530 
    531 -- long operand checks [rhs checks removed]
    532 maxexponent: 999
    533 minexponent: -999
    534 precision: 9
    535 quax481 quantize 12345678000 1e+3 -> 1.2345678E+10 Rounded
    536 quax482 quantize 1234567800  1e+1 -> 1.23456780E+9 Rounded
    537 quax483 quantize 1234567890  1e+1 -> 1.23456789E+9 Rounded
    538 quax484 quantize 1234567891  1e+1 -> 1.23456789E+9 Inexact Rounded
    539 quax485 quantize 12345678901 1e+2 -> 1.23456789E+10 Inexact Rounded
    540 quax486 quantize 1234567896  1e+1 -> 1.23456790E+9 Inexact Rounded
    541 -- a potential double-round
    542 quax487 quantize 1234.987643 1e-4 -> 1234.9876 Inexact Rounded
    543 quax488 quantize 1234.987647 1e-4 -> 1234.9876 Inexact Rounded
    544 
    545 precision: 15
    546 quax491 quantize 12345678000 1e+3 -> 1.2345678E+10 Rounded
    547 quax492 quantize 1234567800  1e+1 -> 1.23456780E+9 Rounded
    548 quax493 quantize 1234567890  1e+1 -> 1.23456789E+9 Rounded
    549 quax494 quantize 1234567891  1e+1 -> 1.23456789E+9 Inexact Rounded
    550 quax495 quantize 12345678901 1e+2 -> 1.23456789E+10 Inexact Rounded
    551 quax496 quantize 1234567896  1e+1 -> 1.23456790E+9 Inexact Rounded
    552 quax497 quantize 1234.987643 1e-4 -> 1234.9876 Inexact Rounded
    553 quax498 quantize 1234.987647 1e-4 -> 1234.9876 Inexact Rounded
    554 
    555 -- Zeros
    556 quax500 quantize   0     1e1 ->  0E+1
    557 quax501 quantize   0     1e0 ->  0
    558 quax502 quantize   0    1e-1 ->  0.0
    559 quax503 quantize   0.0  1e-1 ->  0.0
    560 quax504 quantize   0.0   1e0 ->  0
    561 quax505 quantize   0.0  1e+1 ->  0E+1
    562 quax506 quantize   0E+1 1e-1 ->  0.0
    563 quax507 quantize   0E+1  1e0 ->  0
    564 quax508 quantize   0E+1 1e+1 ->  0E+1
    565 quax509 quantize  -0     1e1 -> -0E+1
    566 quax510 quantize  -0     1e0 -> -0
    567 quax511 quantize  -0    1e-1 -> -0.0
    568 quax512 quantize  -0.0  1e-1 -> -0.0
    569 quax513 quantize  -0.0   1e0 -> -0
    570 quax514 quantize  -0.0  1e+1 -> -0E+1
    571 quax515 quantize  -0E+1 1e-1 -> -0.0
    572 quax516 quantize  -0E+1  1e0 -> -0
    573 quax517 quantize  -0E+1 1e+1 -> -0E+1
    574 
    575 -- Suspicious RHS values
    576 maxexponent: 999999999
    577 minexponent: -999999999
    578 precision: 15
    579 quax520 quantize   1.234    1e999999000 -> 0E+999999000 Inexact Rounded
    580 quax521 quantize 123.456    1e999999000 -> 0E+999999000 Inexact Rounded
    581 quax522 quantize   1.234    1e999999999 -> 0E+999999999 Inexact Rounded
    582 quax523 quantize 123.456    1e999999999 -> 0E+999999999 Inexact Rounded
    583 quax524 quantize 123.456   1e1000000000 -> NaN Invalid_operation
    584 quax525 quantize 123.456  1e12345678903 -> NaN Invalid_operation
    585 -- next four are "won't fit" overflows
    586 quax526 quantize   1.234   1e-999999000 -> NaN Invalid_operation
    587 quax527 quantize 123.456   1e-999999000 -> NaN Invalid_operation
    588 quax528 quantize   1.234   1e-999999999 -> NaN Invalid_operation
    589 quax529 quantize 123.456   1e-999999999 -> NaN Invalid_operation
    590 quax530 quantize 123.456  1e-1000000014 -> NaN Invalid_operation
    591 quax531 quantize 123.456 1e-12345678903 -> NaN Invalid_operation
    592 
    593 maxexponent: 999
    594 minexponent: -999
    595 precision: 15
    596 quax532 quantize   1.234E+999    1e999 -> 1E+999    Inexact Rounded
    597 quax533 quantize   1.234E+998    1e999 -> 0E+999    Inexact Rounded
    598 quax534 quantize   1.234         1e999 -> 0E+999    Inexact Rounded
    599 quax535 quantize   1.234        1e1000 -> NaN Invalid_operation
    600 quax536 quantize   1.234        1e5000 -> NaN Invalid_operation
    601 quax537 quantize   0            1e-999 -> 0E-999
    602 -- next two are "won't fit" overflows
    603 quax538 quantize   1.234        1e-999 -> NaN Invalid_operation
    604 quax539 quantize   1.234       1e-1000 -> NaN Invalid_operation
    605 quax540 quantize   1.234       1e-5000 -> NaN Invalid_operation
    606 -- [more below]
    607 
    608 -- check bounds (lhs maybe out of range for destination, etc.)
    609 precision:     7
    610 quax541 quantize   1E+999   1e+999 -> 1E+999
    611 quax542 quantize   1E+1000  1e+999 -> NaN Invalid_operation
    612 quax543 quantize   1E+999  1e+1000 -> NaN Invalid_operation
    613 quax544 quantize   1E-999   1e-999 -> 1E-999
    614 quax545 quantize   1E-1000  1e-999 -> 0E-999    Inexact Rounded
    615 quax546 quantize   1E-999  1e-1000 -> 1.0E-999
    616 quax547 quantize   1E-1005  1e-999 -> 0E-999    Inexact Rounded
    617 quax548 quantize   1E-1006  1e-999 -> 0E-999    Inexact Rounded
    618 quax549 quantize   1E-1007  1e-999 -> 0E-999    Inexact Rounded
    619 quax550 quantize   1E-998  1e-1005 -> NaN Invalid_operation  -- won't fit
    620 quax551 quantize   1E-999  1e-1005 -> 1.000000E-999
    621 quax552 quantize   1E-1000 1e-1005 -> 1.00000E-1000 Subnormal
    622 quax553 quantize   1E-999  1e-1006 -> NaN Invalid_operation
    623 quax554 quantize   1E-999  1e-1007 -> NaN Invalid_operation
    624 -- related subnormal rounding
    625 quax555 quantize   1.666666E-999  1e-1005 -> 1.666666E-999
    626 quax556 quantize   1.666666E-1000 1e-1005 -> 1.66667E-1000  Subnormal Inexact Rounded
    627 quax557 quantize   1.666666E-1001 1e-1005 -> 1.6667E-1001  Subnormal Inexact Rounded
    628 quax558 quantize   1.666666E-1002 1e-1005 -> 1.667E-1002  Subnormal Inexact Rounded
    629 quax559 quantize   1.666666E-1003 1e-1005 -> 1.67E-1003  Subnormal Inexact Rounded
    630 quax560 quantize   1.666666E-1004 1e-1005 -> 1.7E-1004  Subnormal Inexact Rounded
    631 quax561 quantize   1.666666E-1005 1e-1005 -> 2E-1005  Subnormal Inexact Rounded
    632 quax562 quantize   1.666666E-1006 1e-1005 -> 0E-1005   Inexact Rounded
    633 quax563 quantize   1.666666E-1007 1e-1005 -> 0E-1005   Inexact Rounded
    634 
    635 -- Specials
    636 quax580 quantize  Inf    -Inf   ->  Infinity
    637 quax581 quantize  Inf  1e-1000  ->  NaN  Invalid_operation
    638 quax582 quantize  Inf  1e-1     ->  NaN  Invalid_operation
    639 quax583 quantize  Inf   1e0     ->  NaN  Invalid_operation
    640 quax584 quantize  Inf   1e1     ->  NaN  Invalid_operation
    641 quax585 quantize  Inf   1e1000  ->  NaN  Invalid_operation
    642 quax586 quantize  Inf     Inf   ->  Infinity
    643 quax587 quantize -1000    Inf   ->  NaN  Invalid_operation
    644 quax588 quantize -Inf     Inf   ->  -Infinity
    645 quax589 quantize -1       Inf   ->  NaN  Invalid_operation
    646 quax590 quantize  0       Inf   ->  NaN  Invalid_operation
    647 quax591 quantize  1       Inf   ->  NaN  Invalid_operation
    648 quax592 quantize  1000    Inf   ->  NaN  Invalid_operation
    649 quax593 quantize  Inf     Inf   ->  Infinity
    650 quax594 quantize  Inf  1e-0     ->  NaN  Invalid_operation
    651 quax595 quantize -0       Inf   ->  NaN  Invalid_operation
    652 
    653 quax600 quantize -Inf    -Inf   ->  -Infinity
    654 quax601 quantize -Inf  1e-1000  ->  NaN  Invalid_operation
    655 quax602 quantize -Inf  1e-1     ->  NaN  Invalid_operation
    656 quax603 quantize -Inf   1e0     ->  NaN  Invalid_operation
    657 quax604 quantize -Inf   1e1     ->  NaN  Invalid_operation
    658 quax605 quantize -Inf   1e1000  ->  NaN  Invalid_operation
    659 quax606 quantize -Inf     Inf   ->  -Infinity
    660 quax607 quantize -1000    Inf   ->  NaN  Invalid_operation
    661 quax608 quantize -Inf    -Inf   ->  -Infinity
    662 quax609 quantize -1      -Inf   ->  NaN  Invalid_operation
    663 quax610 quantize  0      -Inf   ->  NaN  Invalid_operation
    664 quax611 quantize  1      -Inf   ->  NaN  Invalid_operation
    665 quax612 quantize  1000   -Inf   ->  NaN  Invalid_operation
    666 quax613 quantize  Inf    -Inf   ->  Infinity
    667 quax614 quantize -Inf  1e-0     ->  NaN  Invalid_operation
    668 quax615 quantize -0      -Inf   ->  NaN  Invalid_operation
    669 
    670 quax621 quantize  NaN   -Inf    ->  NaN
    671 quax622 quantize  NaN 1e-1000   ->  NaN
    672 quax623 quantize  NaN 1e-1      ->  NaN
    673 quax624 quantize  NaN  1e0      ->  NaN
    674 quax625 quantize  NaN  1e1      ->  NaN
    675 quax626 quantize  NaN  1e1000   ->  NaN
    676 quax627 quantize  NaN    Inf    ->  NaN
    677 quax628 quantize  NaN    NaN    ->  NaN
    678 quax629 quantize -Inf    NaN    ->  NaN
    679 quax630 quantize -1000   NaN    ->  NaN
    680 quax631 quantize -1      NaN    ->  NaN
    681 quax632 quantize  0      NaN    ->  NaN
    682 quax633 quantize  1      NaN    ->  NaN
    683 quax634 quantize  1000   NaN    ->  NaN
    684 quax635 quantize  Inf    NaN    ->  NaN
    685 quax636 quantize  NaN 1e-0      ->  NaN
    686 quax637 quantize -0      NaN    ->  NaN
    687 
    688 quax641 quantize  sNaN   -Inf   ->  NaN  Invalid_operation
    689 quax642 quantize  sNaN 1e-1000  ->  NaN  Invalid_operation
    690 quax643 quantize  sNaN 1e-1     ->  NaN  Invalid_operation
    691 quax644 quantize  sNaN  1e0     ->  NaN  Invalid_operation
    692 quax645 quantize  sNaN  1e1     ->  NaN  Invalid_operation
    693 quax646 quantize  sNaN  1e1000  ->  NaN  Invalid_operation
    694 quax647 quantize  sNaN    NaN   ->  NaN  Invalid_operation
    695 quax648 quantize  sNaN   sNaN   ->  NaN  Invalid_operation
    696 quax649 quantize  NaN    sNaN   ->  NaN  Invalid_operation
    697 quax650 quantize -Inf    sNaN   ->  NaN  Invalid_operation
    698 quax651 quantize -1000   sNaN   ->  NaN  Invalid_operation
    699 quax652 quantize -1      sNaN   ->  NaN  Invalid_operation
    700 quax653 quantize  0      sNaN   ->  NaN  Invalid_operation
    701 quax654 quantize  1      sNaN   ->  NaN  Invalid_operation
    702 quax655 quantize  1000   sNaN   ->  NaN  Invalid_operation
    703 quax656 quantize  Inf    sNaN   ->  NaN  Invalid_operation
    704 quax657 quantize  NaN    sNaN   ->  NaN  Invalid_operation
    705 quax658 quantize  sNaN 1e-0     ->  NaN  Invalid_operation
    706 quax659 quantize -0      sNaN   ->  NaN  Invalid_operation
    707 
    708 -- propagating NaNs
    709 quax661 quantize  NaN9 -Inf   ->  NaN9
    710 quax662 quantize  NaN8  919   ->  NaN8
    711 quax663 quantize  NaN71 Inf   ->  NaN71
    712 quax664 quantize  NaN6  NaN5  ->  NaN6
    713 quax665 quantize -Inf   NaN4  ->  NaN4
    714 quax666 quantize -919   NaN31 ->  NaN31
    715 quax667 quantize  Inf   NaN2  ->  NaN2
    716 
    717 quax671 quantize  sNaN99 -Inf    ->  NaN99 Invalid_operation
    718 quax672 quantize  sNaN98 -11     ->  NaN98 Invalid_operation
    719 quax673 quantize  sNaN97  NaN    ->  NaN97 Invalid_operation
    720 quax674 quantize  sNaN16 sNaN94  ->  NaN16 Invalid_operation
    721 quax675 quantize  NaN95  sNaN93  ->  NaN93 Invalid_operation
    722 quax676 quantize -Inf    sNaN92  ->  NaN92 Invalid_operation
    723 quax677 quantize  088    sNaN91  ->  NaN91 Invalid_operation
    724 quax678 quantize  Inf    sNaN90  ->  NaN90 Invalid_operation
    725 quax679 quantize  NaN    sNaN88  ->  NaN88 Invalid_operation
    726 
    727 quax681 quantize -NaN9 -Inf   -> -NaN9
    728 quax682 quantize -NaN8  919   -> -NaN8
    729 quax683 quantize -NaN71 Inf   -> -NaN71
    730 quax684 quantize -NaN6 -NaN5  -> -NaN6
    731 quax685 quantize -Inf  -NaN4  -> -NaN4
    732 quax686 quantize -919  -NaN31 -> -NaN31
    733 quax687 quantize  Inf  -NaN2  -> -NaN2
    734 
    735 quax691 quantize -sNaN99 -Inf    -> -NaN99 Invalid_operation
    736 quax692 quantize -sNaN98 -11     -> -NaN98 Invalid_operation
    737 quax693 quantize -sNaN97  NaN    -> -NaN97 Invalid_operation
    738 quax694 quantize -sNaN16 sNaN94  -> -NaN16 Invalid_operation
    739 quax695 quantize -NaN95 -sNaN93  -> -NaN93 Invalid_operation
    740 quax696 quantize -Inf   -sNaN92  -> -NaN92 Invalid_operation
    741 quax697 quantize  088   -sNaN91  -> -NaN91 Invalid_operation
    742 quax698 quantize  Inf   -sNaN90  -> -NaN90 Invalid_operation
    743 quax699 quantize  NaN   -sNaN88  -> -NaN88 Invalid_operation
    744 
    745 -- subnormals and underflow
    746 precision: 4
    747 maxexponent: 999
    748 minexponent: -999
    749 quax710 quantize  1.00E-999    1e-999  ->   1E-999    Rounded
    750 quax711 quantize  0.1E-999    2e-1000  ->   1E-1000   Subnormal
    751 quax712 quantize  0.10E-999   3e-1000  ->   1E-1000   Subnormal Rounded
    752 quax713 quantize  0.100E-999  4e-1000  ->   1E-1000   Subnormal Rounded
    753 quax714 quantize  0.01E-999   5e-1001  ->   1E-1001   Subnormal
    754 -- next is rounded to Emin
    755 quax715 quantize  0.999E-999   1e-999  ->   1E-999    Inexact Rounded
    756 quax716 quantize  0.099E-999 10e-1000  ->   1E-1000   Inexact Rounded Subnormal
    757 
    758 quax717 quantize  0.009E-999  1e-1001  ->   1E-1001   Inexact Rounded Subnormal
    759 quax718 quantize  0.001E-999  1e-1001  ->   0E-1001   Inexact Rounded
    760 quax719 quantize  0.0009E-999 1e-1001  ->   0E-1001   Inexact Rounded
    761 quax720 quantize  0.0001E-999 1e-1001  ->   0E-1001   Inexact Rounded
    762 
    763 quax730 quantize -1.00E-999   1e-999  ->  -1E-999     Rounded
    764 quax731 quantize -0.1E-999    1e-999  ->  -0E-999     Rounded Inexact
    765 quax732 quantize -0.10E-999   1e-999  ->  -0E-999     Rounded Inexact
    766 quax733 quantize -0.100E-999  1e-999  ->  -0E-999     Rounded Inexact
    767 quax734 quantize -0.01E-999   1e-999  ->  -0E-999     Inexact Rounded
    768 -- next is rounded to Emin
    769 quax735 quantize -0.999E-999 90e-999  ->  -1E-999     Inexact Rounded
    770 quax736 quantize -0.099E-999 -1e-999  ->  -0E-999     Inexact Rounded
    771 quax737 quantize -0.009E-999 -1e-999  ->  -0E-999     Inexact Rounded
    772 quax738 quantize -0.001E-999 -0e-999  ->  -0E-999     Inexact Rounded
    773 quax739 quantize -0.0001E-999 0e-999  ->  -0E-999     Inexact Rounded
    774 
    775 quax740 quantize -1.00E-999   1e-1000 ->  -1.0E-999   Rounded
    776 quax741 quantize -0.1E-999    1e-1000 ->  -1E-1000    Subnormal
    777 quax742 quantize -0.10E-999   1e-1000 ->  -1E-1000    Subnormal Rounded
    778 quax743 quantize -0.100E-999  1e-1000 ->  -1E-1000    Subnormal Rounded
    779 quax744 quantize -0.01E-999   1e-1000 ->  -0E-1000    Inexact Rounded
    780 -- next is rounded to Emin
    781 quax745 quantize -0.999E-999  1e-1000 ->  -1.0E-999   Inexact Rounded
    782 quax746 quantize -0.099E-999  1e-1000 ->  -1E-1000    Inexact Rounded Subnormal
    783 quax747 quantize -0.009E-999  1e-1000 ->  -0E-1000    Inexact Rounded
    784 quax748 quantize -0.001E-999  1e-1000 ->  -0E-1000    Inexact Rounded
    785 quax749 quantize -0.0001E-999 1e-1000 ->  -0E-1000    Inexact Rounded
    786 
    787 quax750 quantize -1.00E-999   1e-1001 ->  -1.00E-999
    788 quax751 quantize -0.1E-999    1e-1001 ->  -1.0E-1000  Subnormal
    789 quax752 quantize -0.10E-999   1e-1001 ->  -1.0E-1000  Subnormal
    790 quax753 quantize -0.100E-999  1e-1001 ->  -1.0E-1000  Subnormal Rounded
    791 quax754 quantize -0.01E-999   1e-1001 ->  -1E-1001    Subnormal
    792 -- next is rounded to Emin
    793 quax755 quantize -0.999E-999  1e-1001 ->  -1.00E-999  Inexact Rounded
    794 quax756 quantize -0.099E-999  1e-1001 ->  -1.0E-1000  Inexact Rounded Subnormal
    795 quax757 quantize -0.009E-999  1e-1001 ->  -1E-1001    Inexact Rounded Subnormal
    796 quax758 quantize -0.001E-999  1e-1001 ->  -0E-1001    Inexact Rounded
    797 quax759 quantize -0.0001E-999 1e-1001 ->  -0E-1001    Inexact Rounded
    798 
    799 quax760 quantize -1.00E-999   1e-1002 ->  -1.000E-999
    800 quax761 quantize -0.1E-999    1e-1002 ->  -1.00E-1000  Subnormal
    801 quax762 quantize -0.10E-999   1e-1002 ->  -1.00E-1000  Subnormal
    802 quax763 quantize -0.100E-999  1e-1002 ->  -1.00E-1000  Subnormal
    803 quax764 quantize -0.01E-999   1e-1002 ->  -1.0E-1001   Subnormal
    804 quax765 quantize -0.999E-999  1e-1002 ->  -9.99E-1000  Subnormal
    805 quax766 quantize -0.099E-999  1e-1002 ->  -9.9E-1001   Subnormal
    806 quax767 quantize -0.009E-999  1e-1002 ->  -9E-1002     Subnormal
    807 quax768 quantize -0.001E-999  1e-1002 ->  -1E-1002     Subnormal
    808 quax769 quantize -0.0001E-999 1e-1002 ->  -0E-1002     Inexact Rounded
    809 
    810 -- rhs must be no less than Etiny
    811 quax770 quantize -1.00E-999   1e-1003 ->  NaN Invalid_operation
    812 quax771 quantize -0.1E-999    1e-1003 ->  NaN Invalid_operation
    813 quax772 quantize -0.10E-999   1e-1003 ->  NaN Invalid_operation
    814 quax773 quantize -0.100E-999  1e-1003 ->  NaN Invalid_operation
    815 quax774 quantize -0.01E-999   1e-1003 ->  NaN Invalid_operation
    816 quax775 quantize -0.999E-999  1e-1003 ->  NaN Invalid_operation
    817 quax776 quantize -0.099E-999  1e-1003 ->  NaN Invalid_operation
    818 quax777 quantize -0.009E-999  1e-1003 ->  NaN Invalid_operation
    819 quax778 quantize -0.001E-999  1e-1003 ->  NaN Invalid_operation
    820 quax779 quantize -0.0001E-999 1e-1003 ->  NaN Invalid_operation
    821 quax780 quantize -0.0001E-999 1e-1004 ->  NaN Invalid_operation
    822 
    823 precision:   9
    824 maxExponent: 999999999
    825 minexponent: -999999999
    826 
    827 -- some extremes derived from Rescale testcases
    828 quax801 quantize   0   1e1000000000 -> NaN Invalid_operation
    829 quax802 quantize   0  1e-1000000000 -> 0E-1000000000
    830 quax803 quantize   0   1e2000000000 -> NaN Invalid_operation
    831 quax804 quantize   0  1e-2000000000 -> NaN Invalid_operation
    832 quax805 quantize   0   1e3000000000 -> NaN Invalid_operation
    833 quax806 quantize   0  1e-3000000000 -> NaN Invalid_operation
    834 quax807 quantize   0   1e4000000000 -> NaN Invalid_operation
    835 quax808 quantize   0  1e-4000000000 -> NaN Invalid_operation
    836 quax809 quantize   0   1e5000000000 -> NaN Invalid_operation
    837 quax810 quantize   0  1e-5000000000 -> NaN Invalid_operation
    838 quax811 quantize   0   1e6000000000 -> NaN Invalid_operation
    839 quax812 quantize   0  1e-6000000000 -> NaN Invalid_operation
    840 quax813 quantize   0   1e7000000000 -> NaN Invalid_operation
    841 quax814 quantize   0  1e-7000000000 -> NaN Invalid_operation
    842 quax815 quantize   0   1e8000000000 -> NaN Invalid_operation
    843 quax816 quantize   0  1e-8000000000 -> NaN Invalid_operation
    844 quax817 quantize   0   1e9000000000 -> NaN Invalid_operation
    845 quax818 quantize   0  1e-9000000000 -> NaN Invalid_operation
    846 quax819 quantize   0   1e9999999999 -> NaN Invalid_operation
    847 quax820 quantize   0  1e-9999999999 -> NaN Invalid_operation
    848 quax821 quantize   0   1e10000000000 -> NaN Invalid_operation
    849 quax822 quantize   0  1e-10000000000 -> NaN Invalid_operation
    850 
    851 quax843 quantize   0    1e999999999 -> 0E+999999999
    852 quax844 quantize   0   1e1000000000 -> NaN Invalid_operation
    853 quax845 quantize   0   1e-999999999 -> 0E-999999999
    854 quax846 quantize   0  1e-1000000000 -> 0E-1000000000
    855 quax847 quantize   0  1e-1000000001 -> 0E-1000000001
    856 quax848 quantize   0  1e-1000000002 -> 0E-1000000002
    857 quax849 quantize   0  1e-1000000003 -> 0E-1000000003
    858 quax850 quantize   0  1e-1000000004 -> 0E-1000000004
    859 quax851 quantize   0  1e-1000000005 -> 0E-1000000005
    860 quax852 quantize   0  1e-1000000006 -> 0E-1000000006
    861 quax853 quantize   0  1e-1000000007 -> 0E-1000000007
    862 quax854 quantize   0  1e-1000000008 -> NaN Invalid_operation
    863 
    864 quax861 quantize   1  1e+2147483649 -> NaN Invalid_operation
    865 quax862 quantize   1  1e+2147483648 -> NaN Invalid_operation
    866 quax863 quantize   1  1e+2147483647 -> NaN Invalid_operation
    867 quax864 quantize   1  1e-2147483647 -> NaN Invalid_operation
    868 quax865 quantize   1  1e-2147483648 -> NaN Invalid_operation
    869 quax866 quantize   1  1e-2147483649 -> NaN Invalid_operation
    870 
    871 -- More from Fung Lee
    872 precision:   16
    873 rounding:    half_up
    874 maxExponent: 384
    875 minExponent: -383
    876 quax1021 quantize    8.666666666666000E+384     1.000000000000000E+384  -> 8.666666666666000E+384
    877 quax1022 quantize 64#8.666666666666000E+384  64#1.000000000000000E+384  -> 8.666666666666000E+384
    878 quax1023 quantize 64#8.666666666666000E+384  128#1.000000000000000E+384 -> 8.666666666666000E+384
    879 quax1024 quantize 64#8.666666666666000E+384  64#1E+384                  -> 8.666666666666000E+384
    880 quax1025 quantize 64#8.666666666666000E+384  64#1E+384   -> 64#8.666666666666000E+384
    881 quax1026 quantize 64#8.666666666666000E+384 128#1E+384   -> 64#9E+384 Inexact Rounded Clamped
    882 quax1027 quantize 64#8.666666666666000E+323  64#1E+31    -> NaN Invalid_operation
    883 quax1028 quantize 64#8.666666666666000E+323 128#1E+31    -> NaN Invalid_operation
    884 quax1029 quantize 64#8.66666666E+3          128#1E+10    -> 64#0E10 Inexact Rounded
    885 quax1030 quantize    8.66666666E+3              1E+3     -> 9E+3 Inexact Rounded
    886 
    887 -- Int and uInt32 edge values for testing conversions
    888 quax1040 quantize -2147483646     0 -> -2147483646
    889 quax1041 quantize -2147483647     0 -> -2147483647
    890 quax1042 quantize -2147483648     0 -> -2147483648
    891 quax1043 quantize -2147483649     0 -> -2147483649
    892 quax1044 quantize  2147483646     0 ->  2147483646
    893 quax1045 quantize  2147483647     0 ->  2147483647
    894 quax1046 quantize  2147483648     0 ->  2147483648
    895 quax1047 quantize  2147483649     0 ->  2147483649
    896 quax1048 quantize  4294967294     0 ->  4294967294
    897 quax1049 quantize  4294967295     0 ->  4294967295
    898 quax1050 quantize  4294967296     0 ->  4294967296
    899 quax1051 quantize  4294967297     0 ->  4294967297
    900 -- and powers of ten for same
    901 quax1101 quantize  5000000000     0 ->  5000000000
    902 quax1102 quantize  4000000000     0 ->  4000000000
    903 quax1103 quantize  2000000000     0 ->  2000000000
    904 quax1104 quantize  1000000000     0 ->  1000000000
    905 quax1105 quantize  0100000000     0 ->  100000000
    906 quax1106 quantize  0010000000     0 ->  10000000
    907 quax1107 quantize  0001000000     0 ->  1000000
    908 quax1108 quantize  0000100000     0 ->  100000
    909 quax1109 quantize  0000010000     0 ->  10000
    910 quax1110 quantize  0000001000     0 ->  1000
    911 quax1111 quantize  0000000100     0 ->  100
    912 quax1112 quantize  0000000010     0 ->  10
    913 quax1113 quantize  0000000001     0 ->  1
    914 quax1114 quantize  0000000000     0 ->  0
    915 -- and powers of ten for same
    916 quax1121 quantize -5000000000     0 -> -5000000000
    917 quax1122 quantize -4000000000     0 -> -4000000000
    918 quax1123 quantize -2000000000     0 -> -2000000000
    919 quax1124 quantize -1000000000     0 -> -1000000000
    920 quax1125 quantize -0100000000     0 -> -100000000
    921 quax1126 quantize -0010000000     0 -> -10000000
    922 quax1127 quantize -0001000000     0 -> -1000000
    923 quax1128 quantize -0000100000     0 -> -100000
    924 quax1129 quantize -0000010000     0 -> -10000
    925 quax1130 quantize -0000001000     0 -> -1000
    926 quax1131 quantize -0000000100     0 -> -100
    927 quax1132 quantize -0000000010     0 -> -10
    928 quax1133 quantize -0000000001     0 -> -1
    929 quax1134 quantize -0000000000     0 -> -0
    930 
    931 -- Some miscellany
    932 precision:   34
    933 rounding:    half_up
    934 maxExponent: 6144
    935 minExponent: -6143
    936 --                             1         2         3
    937 --                   1 234567890123456789012345678901234
    938 quax0a1 quantize     8.555555555555555555555555555555555E+6143  1E+6143      -> 9E+6143   Inexact Rounded
    939 quax0a2 quantize 128#8.555555555555555555555555555555555E+6143  128#1E+6143  -> 8.55555555555555555555555555555556E+6143   Rounded Inexact
    940 quax0a3 quantize 128#8.555555555555555555555555555555555E+6144  128#1E+6144  -> 8.555555555555555555555555555555555E+6144
    941 
    942 -- payload decapitate
    943 precision: 5
    944 quax62100 quantize 11 -sNaN1234567890 -> -NaN67890  Invalid_operation
    945 
    946 -- Null tests
    947 quax998 quantize 10    # -> NaN Invalid_operation
    948 quax999 quantize  # 1e10 -> NaN Invalid_operation
    949