github.com/cockroachdb/apd/v3@v3.2.0/testdata/exp.decTest (about)

     1  ------------------------------------------------------------------------
     2  -- exp.decTest -- decimal natural exponentiation                      --
     3  -- Copyright (c) Mike Cowlishaw,  1981, 2010.  All rights reserved.   --
     4  -- Parts copyright (c) IBM Corporation, 1981, 2008.                   --
     5  ------------------------------------------------------------------------
     6  -- Please see the document "General Decimal Arithmetic Testcases"     --
     7  -- at http://speleotrove.com/decimal for the description of           --
     8  -- these testcases.                                                   --
     9  --                                                                    --
    10  -- These testcases are experimental ('beta' versions), and they       --
    11  -- may contain errors.  They are offered on an as-is basis.  In       --
    12  -- particular, achieving the same results as the tests here is not    --
    13  -- a guarantee that an implementation complies with any Standard      --
    14  -- or specification.  The tests are not exhaustive.                   --
    15  --                                                                    --
    16  -- Please send comments, suggestions, and corrections to the author:  --
    17  --   Mike Cowlishaw, mfc@speleotrove.com                              --
    18  ------------------------------------------------------------------------
    19  version: 2.62
    20  
    21  -- Tests of the exponential funtion.  Currently all testcases here
    22  -- show results which are correctly rounded (within <= 0.5 ulp).
    23  
    24  extended:    1
    25  precision:   9
    26  rounding:    half_even
    27  maxExponent: 384
    28  minexponent: -383
    29  
    30  -- basics (examples in specificiation, etc.)
    31  expx001 exp  -Infinity     -> 0
    32  expx002 exp  -10           -> 0.0000453999298 Inexact Rounded
    33  expx003 exp  -1            -> 0.367879441 Inexact Rounded
    34  expx004 exp   0            -> 1
    35  expx005 exp  -0            -> 1
    36  expx006 exp   1            -> 2.71828183  Inexact Rounded
    37  expx007 exp   0.693147181  -> 2.00000000  Inexact Rounded
    38  expx008 exp   10           -> 22026.4658  Inexact Rounded
    39  expx009 exp  +Infinity     -> Infinity
    40  
    41  -- tiny edge cases
    42  precision:   7
    43  expx011 exp  0.1          ->  1.105171  Inexact Rounded
    44  expx012 exp  0.01         ->  1.010050  Inexact Rounded
    45  expx013 exp  0.001        ->  1.001001  Inexact Rounded
    46  expx014 exp  0.0001       ->  1.000100  Inexact Rounded
    47  expx015 exp  0.00001      ->  1.000010  Inexact Rounded
    48  expx016 exp  0.000001     ->  1.000001  Inexact Rounded
    49  expx017 exp  0.0000001    ->  1.000000  Inexact Rounded
    50  expx018 exp  0.0000003    ->  1.000000  Inexact Rounded
    51  expx019 exp  0.0000004    ->  1.000000  Inexact Rounded
    52  expx020 exp  0.0000005    ->  1.000001  Inexact Rounded
    53  expx021 exp  0.0000008    ->  1.000001  Inexact Rounded
    54  expx022 exp  0.0000009    ->  1.000001  Inexact Rounded
    55  expx023 exp  0.0000010    ->  1.000001  Inexact Rounded
    56  expx024 exp  0.0000011    ->  1.000001  Inexact Rounded
    57  expx025 exp  0.00000009   ->  1.000000  Inexact Rounded
    58  expx026 exp  0.00000005   ->  1.000000  Inexact Rounded
    59  expx027 exp  0.00000004   ->  1.000000  Inexact Rounded
    60  expx028 exp  0.00000001   ->  1.000000  Inexact Rounded
    61  
    62  -- and some more zeros
    63  expx030 exp  0.00000000   ->  1
    64  expx031 exp  0E+100       ->  1
    65  expx032 exp  0E-100       ->  1
    66  expx033 exp -0.00000000   ->  1
    67  expx034 exp -0E+100       ->  1
    68  expx035 exp -0E-100       ->  1
    69  
    70  -- basic e=0, e=1, e=2, e=4, e>=8 cases
    71  precision:   7
    72  expx041 exp  1          ->  2.718282  Inexact Rounded
    73  expx042 exp -1          ->  0.3678794 Inexact Rounded
    74  expx043 exp  10         ->  22026.47  Inexact Rounded
    75  expx044 exp -10         ->  0.00004539993 Inexact Rounded
    76  expx045 exp  100        ->  2.688117E+43  Inexact Rounded
    77  expx046 exp -100        ->  3.720076E-44  Inexact Rounded
    78  expx047 exp  1000       ->  Infinity Overflow Inexact Rounded
    79  expx048 exp -1000       ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
    80  expx049 exp  100000000  ->  Infinity Overflow Inexact Rounded
    81  expx050 exp -100000000  ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
    82  
    83  -- miscellanea
    84  -- similar to 'VF bug' test, at 17, but with last digit corrected for decimal
    85  precision: 16
    86  expx055 exp -5.42410311287441459172E+2 -> 2.717658486884572E-236 Inexact Rounded
    87  --  result from NetRexx/Java prototype -> 2.7176584868845721117677929628617246054459644711108E-236
    88  --   result from Rexx (series) version -> 2.717658486884572111767792962861724605446E-236
    89  precision: 17
    90  expx056 exp -5.42410311287441459172E+2 -> 2.7176584868845721E-236 Inexact Rounded
    91  precision: 18
    92  expx057 exp -5.42410311287441459172E+2 -> 2.71765848688457211E-236 Inexact Rounded
    93  precision: 19
    94  expx058 exp -5.42410311287441459172E+2 -> 2.717658486884572112E-236 Inexact Rounded
    95  precision: 20
    96  expx059 exp -5.42410311287441459172E+2 -> 2.7176584868845721118E-236 Inexact Rounded
    97  
    98  -- rounding in areas of ..500.., ..499.., ..100.., ..999.. sequences
    99  precision:   50
   100  expx101 exp -9E-8 -> 0.99999991000000404999987850000273374995079250073811 Inexact Rounded
   101  precision:   31
   102  expx102 exp -9E-8 -> 0.9999999100000040499998785000027 Inexact Rounded
   103  precision:   30
   104  expx103 exp -9E-8 -> 0.999999910000004049999878500003  Inexact Rounded
   105  precision:   29
   106  expx104 exp -9E-8 -> 0.99999991000000404999987850000   Inexact Rounded
   107  precision:   28
   108  expx105 exp -9E-8 -> 0.9999999100000040499998785000    Inexact Rounded
   109  precision:   27
   110  expx106 exp -9E-8 -> 0.999999910000004049999878500     Inexact Rounded
   111  precision:   26
   112  expx107 exp -9E-8 -> 0.99999991000000404999987850      Inexact Rounded
   113  precision:   25
   114  expx108 exp -9E-8 -> 0.9999999100000040499998785       Inexact Rounded
   115  precision:   24
   116  expx109 exp -9E-8 -> 0.999999910000004049999879        Inexact Rounded
   117  precision:   23
   118  expx110 exp -9E-8 -> 0.99999991000000404999988         Inexact Rounded
   119  precision:   22
   120  expx111 exp -9E-8 -> 0.9999999100000040499999          Inexact Rounded
   121  precision:   21
   122  expx112 exp -9E-8 -> 0.999999910000004050000           Inexact Rounded
   123  precision:   20
   124  expx113 exp -9E-8 -> 0.99999991000000405000            Inexact Rounded
   125  precision:   19
   126  expx114 exp -9E-8 -> 0.9999999100000040500             Inexact Rounded
   127  precision:   18
   128  expx115 exp -9E-8 -> 0.999999910000004050              Inexact Rounded
   129  precision:   17
   130  expx116 exp -9E-8 -> 0.99999991000000405               Inexact Rounded
   131  precision:   16
   132  expx117 exp -9E-8 -> 0.9999999100000040                Inexact Rounded
   133  precision:   15
   134  expx118 exp -9E-8 -> 0.999999910000004                 Inexact Rounded
   135  precision:   14
   136  expx119 exp -9E-8 -> 0.99999991000000                  Inexact Rounded
   137  precision:   13
   138  expx120 exp -9E-8 -> 0.9999999100000                   Inexact Rounded
   139  precision:   12
   140  expx121 exp -9E-8 -> 0.999999910000                    Inexact Rounded
   141  precision:   11
   142  expx122 exp -9E-8 -> 0.99999991000                     Inexact Rounded
   143  precision:   10
   144  expx123 exp -9E-8 -> 0.9999999100                      Inexact Rounded
   145  precision:    9
   146  expx124 exp -9E-8 -> 0.999999910                       Inexact Rounded
   147  precision:    8
   148  expx125 exp -9E-8 -> 0.99999991                        Inexact Rounded
   149  precision:    7
   150  expx126 exp -9E-8 -> 0.9999999                         Inexact Rounded
   151  precision:    6
   152  expx127 exp -9E-8 -> 1.00000                           Inexact Rounded
   153  precision:    5
   154  expx128 exp -9E-8 -> 1.0000                            Inexact Rounded
   155  precision:    4
   156  expx129 exp -9E-8 -> 1.000                             Inexact Rounded
   157  precision:    3
   158  expx130 exp -9E-8 -> 1.00                              Inexact Rounded
   159  precision:    2
   160  expx131 exp -9E-8 -> 1.0                               Inexact Rounded
   161  precision:    1
   162  expx132 exp -9E-8 -> 1                                 Inexact Rounded
   163  
   164  
   165  -- sanity checks, with iteration counts [normalized so 0<=|x|<1]
   166  precision:   50
   167  
   168  expx210 exp 0 -> 1
   169  -- iterations: 2
   170  expx211 exp -1E-40 -> 0.99999999999999999999999999999999999999990000000000 Inexact Rounded
   171  -- iterations: 8
   172  expx212 exp -9E-7 -> 0.99999910000040499987850002733749507925073811240510 Inexact Rounded
   173  -- iterations: 6
   174  expx213 exp -9E-8 -> 0.99999991000000404999987850000273374995079250073811 Inexact Rounded
   175  -- iterations: 15
   176  expx214 exp -0.003 -> 0.99700449550337297601206623409756091074177480489845 Inexact Rounded
   177  -- iterations: 14
   178  expx215 exp -0.001 -> 0.99900049983337499166805535716765597470235590236008 Inexact Rounded
   179  -- iterations: 26
   180  expx216 exp -0.1 -> 0.90483741803595957316424905944643662119470536098040 Inexact Rounded
   181  -- iterations: 39
   182  expx217 exp -0.7 -> 0.49658530379140951470480009339752896170766716571182 Inexact Rounded
   183  -- iterations: 41
   184  expx218 exp -0.9 -> 0.40656965974059911188345423964562598783370337617038 Inexact Rounded
   185  -- iterations: 43
   186  expx219 exp -0.99 -> 0.37157669102204569053152411990820138691802885490501 Inexact Rounded
   187  -- iterations: 26
   188  expx220 exp -1 -> 0.36787944117144232159552377016146086744581113103177 Inexact Rounded
   189  -- iterations: 26
   190  expx221 exp -1.01 -> 0.36421897957152331975704629563734548959589139192482 Inexact Rounded
   191  -- iterations: 27
   192  expx222 exp -1.1 -> 0.33287108369807955328884690643131552161247952156921 Inexact Rounded
   193  -- iterations: 28
   194  expx223 exp -1.5 -> 0.22313016014842982893328047076401252134217162936108 Inexact Rounded
   195  -- iterations: 30
   196  expx224 exp -2 -> 0.13533528323661269189399949497248440340763154590958 Inexact Rounded
   197  -- iterations: 36
   198  expx225 exp -5 -> 0.0067379469990854670966360484231484242488495850273551 Inexact Rounded
   199  -- iterations: 26
   200  expx226 exp -10 -> 0.000045399929762484851535591515560550610237918088866565 Inexact Rounded
   201  -- iterations: 28
   202  expx227 exp -14 -> 8.3152871910356788406398514256526229460765836498457E-7 Inexact Rounded
   203  -- iterations: 29
   204  expx228 exp -15 -> 3.0590232050182578837147949770228963937082078081856E-7 Inexact Rounded
   205  -- iterations: 30
   206  expx233 exp 0 -> 1
   207  -- iterations: 2
   208  expx234 exp 1E-40 -> 1.0000000000000000000000000000000000000001000000000 Inexact Rounded
   209  -- iterations: 7
   210  expx235 exp 9E-7 -> 1.0000009000004050001215000273375049207507381125949 Inexact Rounded
   211  -- iterations: 6
   212  expx236 exp 9E-8 -> 1.0000000900000040500001215000027337500492075007381 Inexact Rounded
   213  -- iterations: 15
   214  expx237 exp 0.003 -> 1.0030045045033770260129340913489002053318727195619 Inexact Rounded
   215  -- iterations: 13
   216  expx238 exp 0.001 -> 1.0010005001667083416680557539930583115630762005807 Inexact Rounded
   217  -- iterations: 25
   218  expx239 exp 0.1 -> 1.1051709180756476248117078264902466682245471947375 Inexact Rounded
   219  -- iterations: 38
   220  expx240 exp 0.7 -> 2.0137527074704765216245493885830652700175423941459 Inexact Rounded
   221  -- iterations: 41
   222  expx241 exp 0.9 -> 2.4596031111569496638001265636024706954217723064401 Inexact Rounded
   223  -- iterations: 42
   224  expx242 exp 0.99 -> 2.6912344723492622890998794040710139721802931841030 Inexact Rounded
   225  -- iterations: 26
   226  expx243 exp 1 -> 2.7182818284590452353602874713526624977572470937000 Inexact Rounded
   227  -- iterations: 26
   228  expx244 exp 1.01 -> 2.7456010150169164939897763166603876240737508195960 Inexact Rounded
   229  -- iterations: 26
   230  expx245 exp 1.1 -> 3.0041660239464331120584079535886723932826810260163 Inexact Rounded
   231  -- iterations: 28
   232  expx246 exp 1.5 -> 4.4816890703380648226020554601192758190057498683697 Inexact Rounded
   233  -- iterations: 29
   234  expx247 exp 2 -> 7.3890560989306502272304274605750078131803155705518 Inexact Rounded
   235  -- iterations: 36
   236  expx248 exp 5 -> 148.41315910257660342111558004055227962348766759388 Inexact Rounded
   237  -- iterations: 26
   238  expx249 exp 10 -> 22026.465794806716516957900645284244366353512618557 Inexact Rounded
   239  -- iterations: 28
   240  expx250 exp 14 -> 1202604.2841647767777492367707678594494124865433761 Inexact Rounded
   241  -- iterations: 28
   242  expx251 exp 15 -> 3269017.3724721106393018550460917213155057385438200 Inexact Rounded
   243  -- iterations: 29
   244  
   245  -- a biggie [result verified 3 ways]
   246  precision: 250
   247  expx260 exp 1 -> 2.718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668 Inexact Rounded
   248  
   249  -- extreme range boundaries
   250  precision:   16
   251  maxExponent: 999999
   252  minExponent: -999999
   253  -- Ntiny boundary
   254  expx290 exp  -2302618.022332529 -> 0E-1000014 Underflow Subnormal Inexact Rounded Clamped
   255  expx291 exp  -2302618.022332528 -> 1E-1000014 Underflow Subnormal Inexact Rounded
   256  -- Nmax/10 and Nmax boundary
   257  expx292 exp  2302582.790408952 -> 9.999999993100277E+999998  Inexact Rounded
   258  expx293 exp  2302582.790408953 -> 1.000000000310028E+999999  Inexact Rounded
   259  expx294 exp  2302585.092993946 -> 9.999999003159870E+999999 Inexact Rounded
   260  expx295 exp  2302585.092994036 -> 9.999999903159821E+999999 Inexact Rounded
   261  expx296 exp  2302585.092994045 -> 9.999999993159820E+999999 Inexact Rounded
   262  expx297 exp  2302585.092994046 -> Infinity Overflow         Inexact Rounded
   263  
   264  -- 0<-x<<1 effects
   265  precision:    30
   266  expx320 exp -4.9999999999999E-8 -> 0.999999950000001250000979166617 Inexact Rounded
   267  expx321 exp -5.0000000000000E-8 -> 0.999999950000001249999979166667 Inexact Rounded
   268  expx322 exp -5.0000000000001E-8 -> 0.999999950000001249998979166717 Inexact Rounded
   269  precision:    20
   270  expx323 exp -4.9999999999999E-8 -> 0.99999995000000125000 Inexact Rounded
   271  expx324 exp -5.0000000000000E-8 -> 0.99999995000000125000 Inexact Rounded
   272  expx325 exp -5.0000000000001E-8 -> 0.99999995000000125000 Inexact Rounded
   273  precision:    14
   274  expx326 exp -4.9999999999999E-8 -> 0.99999995000000 Inexact Rounded
   275  expx327 exp -5.0000000000000E-8 -> 0.99999995000000 Inexact Rounded
   276  expx328 exp -5.0000000000001E-8 -> 0.99999995000000 Inexact Rounded
   277  -- overprecise and 0<-x<<1
   278  precision:    8
   279  expx330 exp -4.9999999999999E-8 -> 0.99999995       Inexact Rounded
   280  expx331 exp -5.0000000000000E-8 -> 0.99999995       Inexact Rounded
   281  expx332 exp -5.0000000000001E-8 -> 0.99999995       Inexact Rounded
   282  precision:    7
   283  expx333 exp -4.9999999999999E-8 -> 1.000000         Inexact Rounded
   284  expx334 exp -5.0000000000000E-8 -> 1.000000         Inexact Rounded
   285  expx335 exp -5.0000000000001E-8 -> 1.000000         Inexact Rounded
   286  precision:    3
   287  expx336 exp -4.9999999999999E-8 -> 1.00             Inexact Rounded
   288  expx337 exp -5.0000000000000E-8 -> 1.00             Inexact Rounded
   289  expx338 exp -5.0000000000001E-8 -> 1.00             Inexact Rounded
   290  
   291  -- 0<x<<1 effects
   292  precision:    30
   293  expx340 exp  4.9999999999999E-8 -> 1.00000005000000124999902083328  Inexact Rounded
   294  expx341 exp  5.0000000000000E-8 -> 1.00000005000000125000002083333  Inexact Rounded
   295  expx342 exp  5.0000000000001E-8 -> 1.00000005000000125000102083338  Inexact Rounded
   296  precision:    20
   297  expx343 exp  4.9999999999999E-8 -> 1.0000000500000012500  Inexact Rounded
   298  expx344 exp  5.0000000000000E-8 -> 1.0000000500000012500  Inexact Rounded
   299  expx345 exp  5.0000000000001E-8 -> 1.0000000500000012500  Inexact Rounded
   300  precision:    14
   301  expx346 exp  4.9999999999999E-8 -> 1.0000000500000  Inexact Rounded
   302  expx347 exp  5.0000000000000E-8 -> 1.0000000500000  Inexact Rounded
   303  expx348 exp  5.0000000000001E-8 -> 1.0000000500000  Inexact Rounded
   304  -- overprecise and 0<x<<1
   305  precision:    8
   306  expx350 exp  4.9999999999999E-8 -> 1.0000001        Inexact Rounded
   307  expx351 exp  5.0000000000000E-8 -> 1.0000001        Inexact Rounded
   308  expx352 exp  5.0000000000001E-8 -> 1.0000001        Inexact Rounded
   309  precision:    7
   310  expx353 exp  4.9999999999999E-8 -> 1.000000         Inexact Rounded
   311  expx354 exp  5.0000000000000E-8 -> 1.000000         Inexact Rounded
   312  expx355 exp  5.0000000000001E-8 -> 1.000000         Inexact Rounded
   313  precision:    3
   314  expx356 exp  4.9999999999999E-8 -> 1.00             Inexact Rounded
   315  expx357 exp  5.0000000000000E-8 -> 1.00             Inexact Rounded
   316  expx358 exp  5.0000000000001E-8 -> 1.00             Inexact Rounded
   317  
   318  -- cases near 1              --  1 2345678901234567890
   319  precision:    20
   320  expx401 exp 0.99999999999996  -> 2.7182818284589365041  Inexact Rounded
   321  expx402 exp 0.99999999999997  -> 2.7182818284589636869  Inexact Rounded
   322  expx403 exp 0.99999999999998  -> 2.7182818284589908697  Inexact Rounded
   323  expx404 exp 0.99999999999999  -> 2.7182818284590180525  Inexact Rounded
   324  expx405 exp 1.0000000000000   -> 2.7182818284590452354  Inexact Rounded
   325  expx406 exp 1.0000000000001   -> 2.7182818284593170635  Inexact Rounded
   326  expx407 exp 1.0000000000002   -> 2.7182818284595888917  Inexact Rounded
   327  precision:    14
   328  expx411 exp 0.99999999999996  -> 2.7182818284589  Inexact Rounded
   329  expx412 exp 0.99999999999997  -> 2.7182818284590  Inexact Rounded
   330  expx413 exp 0.99999999999998  -> 2.7182818284590  Inexact Rounded
   331  expx414 exp 0.99999999999999  -> 2.7182818284590  Inexact Rounded
   332  expx415 exp 1.0000000000000   -> 2.7182818284590  Inexact Rounded
   333  expx416 exp 1.0000000000001   -> 2.7182818284593  Inexact Rounded
   334  expx417 exp 1.0000000000002   -> 2.7182818284596  Inexact Rounded
   335  -- overprecise...
   336  precision:    7
   337  expx421 exp 0.99999999999996  -> 2.718282         Inexact Rounded
   338  expx422 exp 0.99999999999997  -> 2.718282         Inexact Rounded
   339  expx423 exp 0.99999999999998  -> 2.718282         Inexact Rounded
   340  expx424 exp 0.99999999999999  -> 2.718282         Inexact Rounded
   341  expx425 exp 1.0000000000001   -> 2.718282         Inexact Rounded
   342  expx426 exp 1.0000000000002   -> 2.718282         Inexact Rounded
   343  expx427 exp 1.0000000000003   -> 2.718282         Inexact Rounded
   344  precision:    2
   345  expx431 exp 0.99999999999996  -> 2.7              Inexact Rounded
   346  expx432 exp 0.99999999999997  -> 2.7              Inexact Rounded
   347  expx433 exp 0.99999999999998  -> 2.7              Inexact Rounded
   348  expx434 exp 0.99999999999999  -> 2.7              Inexact Rounded
   349  expx435 exp 1.0000000000001   -> 2.7              Inexact Rounded
   350  expx436 exp 1.0000000000002   -> 2.7              Inexact Rounded
   351  expx437 exp 1.0000000000003   -> 2.7              Inexact Rounded
   352  
   353  -- basics at low precisions
   354  precision: 3
   355  expx501 exp  -Infinity     -> 0
   356  expx502 exp  -10           -> 0.0000454   Inexact Rounded
   357  expx503 exp  -1            -> 0.368       Inexact Rounded
   358  expx504 exp   0            -> 1
   359  expx505 exp  -0            -> 1
   360  expx506 exp   1            -> 2.72        Inexact Rounded
   361  expx507 exp   0.693147181  -> 2.00        Inexact Rounded
   362  expx508 exp   10           -> 2.20E+4     Inexact Rounded
   363  expx509 exp  +Infinity     -> Infinity
   364  precision: 2
   365  expx511 exp  -Infinity     -> 0
   366  expx512 exp  -10           -> 0.000045    Inexact Rounded
   367  expx513 exp  -1            -> 0.37        Inexact Rounded
   368  expx514 exp   0            -> 1
   369  expx515 exp  -0            -> 1
   370  expx516 exp   1            -> 2.7         Inexact Rounded
   371  expx517 exp   0.693147181  -> 2.0         Inexact Rounded
   372  expx518 exp   10           -> 2.2E+4      Inexact Rounded
   373  expx519 exp  +Infinity     -> Infinity
   374  precision: 1
   375  expx521 exp  -Infinity     -> 0
   376  expx522 exp  -10           -> 0.00005     Inexact Rounded
   377  expx523 exp  -1            -> 0.4         Inexact Rounded
   378  expx524 exp   0            -> 1
   379  expx525 exp  -0            -> 1
   380  expx526 exp   1            -> 3           Inexact Rounded
   381  expx527 exp   0.693147181  -> 2           Inexact Rounded
   382  expx528 exp   10           -> 2E+4        Inexact Rounded
   383  expx529 exp  +Infinity     -> Infinity
   384  
   385  -- overflows, including some overprecise borderlines
   386  precision:   7
   387  maxExponent: 384
   388  minExponent: -383
   389  expx701 exp  1000000000  -> Infinity Overflow Inexact Rounded
   390  expx702 exp  100000000   -> Infinity Overflow Inexact Rounded
   391  expx703 exp  10000000    -> Infinity Overflow Inexact Rounded
   392  expx704 exp  1000000     -> Infinity Overflow Inexact Rounded
   393  expx705 exp  100000      -> Infinity Overflow Inexact Rounded
   394  expx706 exp  10000       -> Infinity Overflow Inexact Rounded
   395  expx707 exp  1000        -> Infinity Overflow Inexact Rounded
   396  expx708 exp  886.4952608 -> Infinity Overflow Inexact Rounded
   397  expx709 exp  886.4952607 -> 9.999999E+384 Inexact Rounded
   398  expx710 exp  886.49527   -> Infinity Overflow Inexact Rounded
   399  expx711 exp  886.49526   -> 9.999992E+384 Inexact Rounded
   400  precision:   16
   401  expx721 exp  886.4952608027075883 -> Infinity Overflow Inexact Rounded
   402  expx722 exp  886.4952608027075882 -> 9.999999999999999E+384 Inexact Rounded
   403  expx723 exp  886.49526080270759   -> Infinity Overflow Inexact Rounded
   404  expx724 exp  886.49526080270758   -> 9.999999999999917E+384 Inexact Rounded
   405  expx725 exp  886.4952608027076    -> Infinity Overflow Inexact Rounded
   406  expx726 exp  886.4952608027075    -> 9.999999999999117E+384 Inexact Rounded
   407  -- and by special request ...
   408  precision:   15
   409  expx731 exp  886.495260802708     -> Infinity Overflow Inexact Rounded
   410  expx732 exp  886.495260802707     -> 9.99999999999412E+384 Inexact Rounded
   411  expx733 exp  886.495260802706     -> 9.99999999998412E+384 Inexact Rounded
   412  maxExponent: 999
   413  minExponent: -999
   414  expx735 exp  2302.58509299405    -> Infinity Overflow Inexact Rounded
   415  expx736 exp  2302.58509299404    -> 9.99999999994316E+999 Inexact Rounded
   416  expx737 exp  2302.58509299403    -> 9.99999999984316E+999 Inexact Rounded
   417  
   418  -- subnormals and underflows, including underflow-to-zero edge point
   419  precision:   7
   420  maxExponent: 384
   421  minExponent: -383
   422  expx751 exp -1000000000   ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
   423  expx752 exp -100000000    ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
   424  expx753 exp -10000000     ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
   425  expx754 exp -1000000      ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
   426  expx755 exp -100000       ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
   427  expx756 exp -10000        ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
   428  expx757 exp -1000         ->  0E-389 Underflow Inexact Rounded Clamped Subnormal
   429  expx758 exp -881.89009    ->  1.000001E-383 Inexact Rounded
   430  expx759 exp -881.8901     ->  9.99991E-384  Inexact Rounded Underflow Subnormal
   431  expx760 exp -885          ->  4.4605E-385   Inexact Rounded Underflow Subnormal
   432  expx761 exp -888          ->  2.221E-386    Inexact Rounded Underflow Subnormal
   433  expx762 exp -890          ->  3.01E-387     Inexact Rounded Underflow Subnormal
   434  expx763 exp -892.9        ->  1.7E-388      Inexact Rounded Underflow Subnormal
   435  expx764 exp -893          ->  1.5E-388      Inexact Rounded Underflow Subnormal
   436  expx765 exp -893.5        ->  9E-389        Inexact Rounded Underflow Subnormal
   437  expx766 exp -895.7056     ->  1E-389        Inexact Rounded Underflow Subnormal
   438  expx769 exp -895.8        ->  1E-389        Inexact Rounded Underflow Subnormal
   439  expx770 exp -895.73       ->  1E-389        Inexact Rounded Underflow Subnormal
   440  expx771 exp -896.3987     ->  1E-389        Inexact Rounded Underflow Subnormal
   441  expx772 exp -896.3988     ->  0E-389        Inexact Rounded Underflow Subnormal Clamped
   442  expx773 exp -898.0081     ->  0E-389        Inexact Rounded Underflow Subnormal Clamped
   443  expx774 exp -898.0082     ->  0E-389        Inexact Rounded Underflow Subnormal Clamped
   444  
   445  -- special values
   446  maxexponent: 999
   447  minexponent: -999
   448  expx820 exp   Inf    -> Infinity
   449  expx821 exp  -Inf    -> 0
   450  expx822 exp   NaN    -> NaN
   451  expx823 exp  sNaN    -> NaN Invalid_operation
   452  -- propagating NaNs
   453  expx824 exp  sNaN123 ->  NaN123 Invalid_operation
   454  expx825 exp -sNaN321 -> -NaN321 Invalid_operation
   455  expx826 exp   NaN456 ->  NaN456
   456  expx827 exp  -NaN654 -> -NaN654
   457  expx828 exp   NaN1   ->  NaN1
   458  
   459  -- Invalid operations due to restrictions
   460  -- [next two probably skipped by most test harnesses]
   461  precision: 100000000
   462  expx901 exp  -Infinity     -> NaN Invalid_context
   463  precision:  99999999
   464  expx902 exp  -Infinity     -> NaN Invalid_context
   465  
   466  precision: 9
   467  maxExponent:   1000000
   468  minExponent:   -999999
   469  expx903 exp  -Infinity     -> NaN Invalid_context
   470  maxExponent:    999999
   471  minExponent:   -999999
   472  expx904 exp  -Infinity     -> 0
   473  maxExponent:    999999
   474  minExponent:  -1000000
   475  expx905 exp  -Infinity     -> NaN Invalid_context
   476  maxExponent:    999999
   477  minExponent:   -999998
   478  expx906 exp  -Infinity     -> 0
   479  
   480  --
   481  maxExponent: 384
   482  minExponent: -383
   483  precision:   16
   484  rounding:    half_even
   485  
   486  -- Null test
   487  expx900 exp  # -> NaN Invalid_operation
   488  
   489  
   490  -- Randoms P=50, within 0-999
   491  Precision: 50
   492  maxExponent: 384
   493  minExponent: -383
   494  expx1501 exp 656.35397950590285612266095596539934213943872885728  -> 1.1243757610640319783611178528839652672062820040314E+285 Inexact Rounded
   495  expx1502 exp 0.93620571093652800225038550600780322831236082781471 -> 2.5502865130986176689199711857825771311178046842009 Inexact Rounded
   496  expx1503 exp 0.00000000000000008340785856601514714183373874105791 -> 1.0000000000000000834078585660151506202691740252512 Inexact Rounded
   497  expx1504 exp 0.00009174057262887789625745574686545163168788456203 -> 1.0000917447809239005146722341251524081006051473273 Inexact Rounded
   498  expx1505 exp 33.909116897973797735657751591014926629051117541243  -> 532773181025002.03543618901306726495870476617232229 Inexact Rounded
   499  expx1506 exp 0.00000740470413004406592124575295278456936809587311 -> 1.0000074047315449333590066395670306135567889210814 Inexact Rounded
   500  expx1507 exp 0.00000000000124854922222108802453746922483071445492 -> 1.0000000000012485492222218674621176239911424968263 Inexact Rounded
   501  expx1508 exp 4.1793280674155659794286951159430651258356014391382  -> 65.321946520147199404199787811336860087975118278185 Inexact Rounded
   502  expx1509 exp 485.43595745460655893746179890255529919221550201686  -> 6.6398403920459617255950476953129377459845366585463E+210 Inexact Rounded
   503  expx1510 exp 0.00000000003547259806590856032527875157830328156597 -> 1.0000000000354725980665377129320589406715000685515 Inexact Rounded
   504  expx1511 exp 0.00000000000000759621497339104047930616478635042678 -> 1.0000000000000075962149733910693305471257715463887 Inexact Rounded
   505  expx1512 exp 9.7959168821760339304571595474480640286072720233796  -> 17960.261146042955179164303653412650751681436352437 Inexact Rounded
   506  expx1513 exp 0.00000000566642006258290526783901451194943164535581 -> 1.0000000056664200786370634609832438815665249347650 Inexact Rounded
   507  expx1514 exp 741.29888791134298194088827572374718940925820027354  -> 8.7501694006317332808128946666402622432064923198731E+321 Inexact Rounded
   508  expx1515 exp 032.75573003552517668808529099897153710887014947935  -> 168125196578678.17725841108617955904425345631092339 Inexact Rounded
   509  expx1516 exp 42.333700726429333308594265553422902463737399437644  -> 2428245675864172475.4681119493045657797309369672012 Inexact Rounded
   510  expx1517 exp 0.00000000000000559682616876491888197609158802835798 -> 1.0000000000000055968261687649345442076732739577049 Inexact Rounded
   511  expx1518 exp 0.00000000000080703688668280193584758300973549486312 -> 1.0000000000008070368866831275901158164321867914342 Inexact Rounded
   512  expx1519 exp 640.72396012796509482382712891709072570653606838251  -> 1.8318094990683394229304133068983914236995326891045E+278 Inexact Rounded
   513  expx1520 exp 0.00000000000000509458922167631071416948112219512224 -> 1.0000000000000050945892216763236915891499324358556 Inexact Rounded
   514  expx1521 exp 6.7670394314315206378625221583973414660727960241395  -> 868.73613012822031367806248697092884415119568271315 Inexact Rounded
   515  expx1522 exp 04.823217407412963506638267226891024138054783122548  -> 124.36457929588837129731821077586705505565904205366 Inexact Rounded
   516  expx1523 exp 193.51307878701196403991208482520115359690106143615  -> 1.1006830872854715677390914655452261550768957576034E+84 Inexact Rounded
   517  expx1524 exp 5.7307749038303650539200345901210497015617393970463  -> 308.20800743106843083522721523715645950574866495196 Inexact Rounded
   518  expx1525 exp 0.00000000000095217825199797965200541169123743500267 -> 1.0000000000009521782519984329737172007991390381273 Inexact Rounded
   519  expx1526 exp 0.00027131440949183370966393682617930153495028919140 -> 1.0002713512185751022906058160480606598754913607364 Inexact Rounded
   520  expx1527 exp 0.00000000064503059114680682343002315662069272707123 -> 1.0000000006450305913548390552323517403613135496633 Inexact Rounded
   521  expx1528 exp 0.00000000000000095616643506527288866235238548440593 -> 1.0000000000000009561664350652733457894781582009094 Inexact Rounded
   522  expx1529 exp 0.00000000000000086449942811678650244459550252743433 -> 1.0000000000000008644994281167868761242261096529986 Inexact Rounded
   523  expx1530 exp 0.06223488355635359965683053157729204988381887621850 -> 1.0642122813392406657789688931838919323826250630831 Inexact Rounded
   524  expx1531 exp 0.00000400710807804429435502657131912308680674057053 -> 1.0000040071161065125925620890019319832127863559260 Inexact Rounded
   525  expx1532 exp 85.522796894744576211573232055494551429297878413017  -> 13870073686404228452757799770251085177.853337368935 Inexact Rounded
   526  expx1533 exp 9.1496720811363678696938036379756663548353399954363  -> 9411.3537122832743386783597629161763057370034495157 Inexact Rounded
   527  expx1534 exp 8.2215705240788294472944382056330516738577785177942  -> 3720.3406813383076953899654701615084425598377758189 Inexact Rounded
   528  expx1535 exp 0.00000000015772064569640613142823203726821076239561 -> 1.0000000001577206457088440324683315788358926129830 Inexact Rounded
   529  expx1536 exp 0.58179346473959531432624153576883440625538017532480 -> 1.7892445018275360163797022372655837188423194863605 Inexact Rounded
   530  expx1537 exp 33.555726197149525061455517784870570470833498096559  -> 374168069896324.62578073148993526626307095854407952 Inexact Rounded
   531  expx1538 exp 9.7898079803906215094140010009583375537259810398659  -> 17850.878119912208888217100998019986634620368538426 Inexact Rounded
   532  expx1539 exp 89.157697327174521542502447953032536541038636966347  -> 525649152320166503771224149330448089550.67293829227 Inexact Rounded
   533  expx1540 exp 25.022947600123328912029051897171319573322888514885  -> 73676343442.952517824345431437683153304645851960524 Inexact Rounded
   534  
   535  -- exp(1) at 34
   536  Precision: 34
   537  expx1200 exp 1 -> 2.718281828459045235360287471352662 Inexact Rounded
   538  
   539  -- Randoms P=34, within 0-999
   540  Precision: 34
   541  maxExponent: 6144
   542  minExponent: -6143
   543  expx1201 exp 309.5948855821510212996700645087188  -> 2.853319692901387521201738015050724E+134 Inexact Rounded
   544  expx1202 exp 9.936543068706211420422803962680164  -> 20672.15839203171877476511093276022 Inexact Rounded
   545  expx1203 exp 6.307870323881505684429839491707908  -> 548.8747777054637296137277391754665 Inexact Rounded
   546  expx1204 exp 0.0003543281389438420535201308282503 -> 1.000354390920573746164733350843155 Inexact Rounded
   547  expx1205 exp 0.0000037087453363918375598394920229 -> 1.000003708752213796324841920189323 Inexact Rounded
   548  expx1206 exp 0.0020432312687512438040222444116585 -> 1.002045320088164826013561630975308 Inexact Rounded
   549  expx1207 exp 6.856313340032177672550343216129586  -> 949.8587981604144147983589660524396 Inexact Rounded
   550  expx1208 exp 0.0000000000402094928333815643326418 -> 1.000000000040209492834189965989612 Inexact Rounded
   551  expx1209 exp 0.0049610784722412117632647003545839 -> 1.004973404997901987039589029277833 Inexact Rounded
   552  expx1210 exp 0.0000891471883724066909746786702686 -> 1.000089151162101085412780088266699 Inexact Rounded
   553  expx1211 exp 08.59979170376061890684723211112566  -> 5430.528314920905714615339273738097 Inexact Rounded
   554  expx1212 exp 9.473117039341003854872778112752590  -> 13005.36234331224953460055897913917 Inexact Rounded
   555  expx1213 exp 0.0999060724692207648429969999310118 -> 1.105067116975190602296052700726802 Inexact Rounded
   556  expx1214 exp 0.0000000927804533555877884082269247 -> 1.000000092780457659694183954740772 Inexact Rounded
   557  expx1215 exp 0.0376578583872889916298772818265677 -> 1.038375900489771946477857818447556 Inexact Rounded
   558  expx1216 exp 261.6896411697539524911536116712307  -> 4.470613562127465095241600174941460E+113 Inexact Rounded
   559  expx1217 exp 0.0709997423269162980875824213889626 -> 1.073580949235407949417814485533172 Inexact Rounded
   560  expx1218 exp 0.0000000444605583295169895235658731 -> 1.000000044460559317887627657593900 Inexact Rounded
   561  expx1219 exp 0.0000021224072854777512281369815185 -> 1.000002122409537785687390631070906 Inexact Rounded
   562  expx1220 exp 547.5174462574156885473558485475052  -> 6.078629247383807942612114579728672E+237 Inexact Rounded
   563  expx1221 exp 0.0000009067598041615192002339844670 -> 1.000000906760215268314680115374387 Inexact Rounded
   564  expx1222 exp 0.0316476500308065365803455533244603 -> 1.032153761880187977658387961769034 Inexact Rounded
   565  expx1223 exp 84.46160530377645101833996706384473  -> 4.799644995897968383503269871697856E+36 Inexact Rounded
   566  expx1224 exp 0.0000000000520599740290848018904145 -> 1.000000000052059974030439922338393 Inexact Rounded
   567  expx1225 exp 0.0000006748530640093620665651726708 -> 1.000000674853291722742292331812997 Inexact Rounded
   568  expx1226 exp 0.0000000116853119761042020507916169 -> 1.000000011685312044377460306165203 Inexact Rounded
   569  expx1227 exp 0.0022593818094258636727616886693280 -> 1.002261936135876893707094845543461 Inexact Rounded
   570  expx1228 exp 0.0029398857673478912249856509667517 -> 1.002944211469495086813087651287012 Inexact Rounded
   571  expx1229 exp 0.7511480029928802775376270557636963 -> 2.119431734510320169806976569366789 Inexact Rounded
   572  expx1230 exp 174.9431952176750671150886423048447  -> 9.481222305374955011464619468044051E+75 Inexact Rounded
   573  expx1231 exp 0.0000810612451694136129199895164424 -> 1.000081064530720924186615149646920 Inexact Rounded
   574  expx1232 exp 51.06888989702669288180946272499035  -> 15098613888619165073959.89896018749 Inexact Rounded
   575  expx1233 exp 0.0000000005992887599437093651494510 -> 1.000000000599288760123282874082758 Inexact Rounded
   576  expx1234 exp 714.8549046761054856311108828903972  -> 2.867744544891081117381595080480784E+310 Inexact Rounded
   577  expx1235 exp 0.0000000004468247802990643645607110 -> 1.000000000446824780398890556720233 Inexact Rounded
   578  expx1236 exp 831.5818151589890366323551672043709  -> 1.417077409182624969435938062261655E+361 Inexact Rounded
   579  expx1237 exp 0.0000000006868323825179605747108044 -> 1.000000000686832382753829935602454 Inexact Rounded
   580  expx1238 exp 0.0000001306740266408976840228440255 -> 1.000000130674035178748675187648098 Inexact Rounded
   581  expx1239 exp 0.3182210609022267704811502412335163 -> 1.374680115667798185758927247894859 Inexact Rounded
   582  expx1240 exp 0.0147741234179104437440264644295501 -> 1.014883800239950682628277534839222 Inexact Rounded
   583  
   584  -- Randoms P=16, within 0-99
   585  Precision: 16
   586  maxExponent: 384
   587  minExponent: -383
   588  expx1101 exp 8.473011527013724  -> 4783.900643969246 Inexact Rounded
   589  expx1102 exp 0.0000055753022764 -> 1.000005575317818 Inexact Rounded
   590  expx1103 exp 0.0000323474114482 -> 1.000032347934631 Inexact Rounded
   591  expx1104 exp 64.54374138544166  -> 1.073966476173531E+28 Inexact Rounded
   592  expx1105 exp 90.47203246416569  -> 1.956610887250643E+39 Inexact Rounded
   593  expx1106 exp 9.299931532342757  -> 10937.27033325227 Inexact Rounded
   594  expx1107 exp 8.759678437852203  -> 6372.062234495381 Inexact Rounded
   595  expx1108 exp 0.0000931755127172 -> 1.000093179853690 Inexact Rounded
   596  expx1109 exp 0.0000028101158373 -> 1.000002810119786 Inexact Rounded
   597  expx1110 exp 0.0000008008130919 -> 1.000000800813413 Inexact Rounded
   598  expx1111 exp 8.339771722299049  -> 4187.133803081878 Inexact Rounded
   599  expx1112 exp 0.0026140497995474 -> 1.002617469406750 Inexact Rounded
   600  expx1113 exp 0.7478033356261771 -> 2.112354781975418 Inexact Rounded
   601  expx1114 exp 51.77663761827966  -> 3.064135801120365E+22 Inexact Rounded
   602  expx1115 exp 0.1524989783061012 -> 1.164741272084955 Inexact Rounded
   603  expx1116 exp 0.0066298798669219 -> 1.006651906170791 Inexact Rounded
   604  expx1117 exp 9.955141865534960  -> 21060.23334287038 Inexact Rounded
   605  expx1118 exp 92.34503059198483  -> 1.273318993481226E+40 Inexact Rounded
   606  expx1119 exp 0.0000709388677346 -> 1.000070941383956 Inexact Rounded
   607  expx1120 exp 79.12883036433204  -> 2.318538899389243E+34 Inexact Rounded
   608  expx1121 exp 0.0000090881548873 -> 1.000009088196185 Inexact Rounded
   609  expx1122 exp 0.0424828809603411 -> 1.043398194245720 Inexact Rounded
   610  expx1123 exp 0.8009035891427416 -> 2.227552811933310 Inexact Rounded
   611  expx1124 exp 8.825786167283102  -> 6807.540455289995 Inexact Rounded
   612  expx1125 exp 1.535457249746275  -> 4.643448260146849 Inexact Rounded
   613  expx1126 exp 69.02254254355800  -> 9.464754500670653E+29 Inexact Rounded
   614  expx1127 exp 0.0007050554368713 -> 1.000705304046880 Inexact Rounded
   615  expx1128 exp 0.0000081206549504 -> 1.000008120687923 Inexact Rounded
   616  expx1129 exp 0.621774854641137  -> 1.862230298554903 Inexact Rounded
   617  expx1130 exp 3.847629031404354  -> 46.88177613568203 Inexact Rounded
   618  expx1131 exp 24.81250184697732  -> 59694268456.19966 Inexact Rounded
   619  expx1132 exp 5.107546500516044  -> 165.2643809755670 Inexact Rounded
   620  expx1133 exp 79.17810943951986  -> 2.435656372541360E+34 Inexact Rounded
   621  expx1134 exp 0.0051394695667015 -> 1.005152699295301 Inexact Rounded
   622  expx1135 exp 57.44504488501725  -> 8.872908566929688E+24 Inexact Rounded
   623  expx1136 exp 0.0000508388968036 -> 1.000050840189122 Inexact Rounded
   624  expx1137 exp 69.71309932148997  -> 1.888053740693541E+30 Inexact Rounded
   625  expx1138 exp 0.0064183412981502 -> 1.006438982988835 Inexact Rounded
   626  expx1139 exp 9.346991220814677  -> 11464.27802035082 Inexact Rounded
   627  expx1140 exp 33.09087139999152  -> 235062229168763.5 Inexact Rounded
   628  
   629  -- Randoms P=7, within 0-9
   630  Precision: 7
   631  maxExponent: 96
   632  minExponent: -95
   633  expx1001 exp 2.395441  -> 10.97304 Inexact Rounded
   634  expx1002 exp 0.6406779 -> 1.897767 Inexact Rounded
   635  expx1003 exp 0.5618218 -> 1.753865 Inexact Rounded
   636  expx1004 exp 3.055120  -> 21.22373 Inexact Rounded
   637  expx1005 exp 1.536792  -> 4.649650 Inexact Rounded
   638  expx1006 exp 0.0801591 -> 1.083459 Inexact Rounded
   639  expx1007 exp 0.0966875 -> 1.101516 Inexact Rounded
   640  expx1008 exp 0.0646761 -> 1.066813 Inexact Rounded
   641  expx1009 exp 0.0095670 -> 1.009613 Inexact Rounded
   642  expx1010 exp 2.956859  -> 19.23745 Inexact Rounded
   643  expx1011 exp 7.504679  -> 1816.522 Inexact Rounded
   644  expx1012 exp 0.0045259 -> 1.004536 Inexact Rounded
   645  expx1013 exp 3.810071  -> 45.15364 Inexact Rounded
   646  expx1014 exp 1.502390  -> 4.492413 Inexact Rounded
   647  expx1015 exp 0.0321523 -> 1.032675 Inexact Rounded
   648  expx1016 exp 0.0057214 -> 1.005738 Inexact Rounded
   649  expx1017 exp 9.811445  -> 18241.33 Inexact Rounded
   650  expx1018 exp 3.245249  -> 25.66810 Inexact Rounded
   651  expx1019 exp 0.3189742 -> 1.375716 Inexact Rounded
   652  expx1020 exp 0.8621610 -> 2.368273 Inexact Rounded
   653  expx1021 exp 0.0122511 -> 1.012326 Inexact Rounded
   654  expx1022 exp 2.202088  -> 9.043877 Inexact Rounded
   655  expx1023 exp 8.778203  -> 6491.202 Inexact Rounded
   656  expx1024 exp 0.1896279 -> 1.208800 Inexact Rounded
   657  expx1025 exp 0.4510947 -> 1.570030 Inexact Rounded
   658  expx1026 exp 0.276413  -> 1.318392 Inexact Rounded
   659  expx1027 exp 4.490067  -> 89.12742 Inexact Rounded
   660  expx1028 exp 0.0439786 -> 1.044960 Inexact Rounded
   661  expx1029 exp 0.8168245 -> 2.263301 Inexact Rounded
   662  expx1030 exp 0.0391658 -> 1.039943 Inexact Rounded
   663  expx1031 exp 9.261816  -> 10528.24 Inexact Rounded
   664  expx1032 exp 9.611186  -> 14930.87 Inexact Rounded
   665  expx1033 exp 9.118125  -> 9119.087 Inexact Rounded
   666  expx1034 exp 9.469083  -> 12953.00 Inexact Rounded
   667  expx1035 exp 0.0499983 -> 1.051269 Inexact Rounded
   668  expx1036 exp 0.0050746 -> 1.005087 Inexact Rounded
   669  expx1037 exp 0.0014696 -> 1.001471 Inexact Rounded
   670  expx1038 exp 9.138494  -> 9306.739 Inexact Rounded
   671  expx1039 exp 0.0065436 -> 1.006565 Inexact Rounded
   672  expx1040 exp 0.7284803 -> 2.071930 Inexact Rounded
   673