| 1 | nextAfter (~0.0, ~0.0) = ~0.0 OK |
| 2 | nextAfter (~0.0, 0.0) = 0.0 OK |
| 3 | nextAfter (0.0, ~0.0) = ~0.0 OK |
| 4 | nextAfter (0.0, 0.0) = 0.0 OK |
| 5 | nextAfter (~0.0, inf) = 0.1E~44 OK |
| 6 | nextAfter (~0.0, ~inf) = ~0.1E~44 OK |
| 7 | nextAfter (0.0, inf) = 0.1E~44 OK |
| 8 | nextAfter (0.0, ~inf) = ~0.1E~44 OK |
| 9 | nextAfter (0.1E~44, 0.0) = 0.0 OK |
| 10 | nextAfter (0.1E~44, ~0.0) = 0.0 OK |
| 11 | nextAfter (0.1E~44, ~inf) = 0.0 OK |
| 12 | nextAfter (~0.1E~44, 0.0) = ~0.0 OK |
| 13 | nextAfter (~0.1E~44, ~0.0) = ~0.0 OK |
| 14 | nextAfter (~0.1E~44, inf) = ~0.0 OK |
| 15 | nextAfter (0.1E~44, 0.1E~44) = 0.1E~44 OK |
| 16 | nextAfter (~0.1E~44, ~0.1E~44) = ~0.1E~44 OK |
| 17 | nextAfter (0.1E~44, inf) = 0.3E~44 OK |
| 18 | nextAfter (~0.1E~44, ~inf) = ~0.3E~44 OK |
| 19 | nextAfter (0.34028235E39, inf) = inf OK |
| 20 | nextAfter (~0.34028235E39, ~inf) = ~inf OK |
| 21 | nextAfter (0.11754942E~37, inf) = 0.11754944E~37 OK |
| 22 | nextAfter (~0.0, ~0.0) = ~0.0 OK |
| 23 | nextAfter (~0.0, 0.0) = 0.0 OK |
| 24 | nextAfter (0.0, ~0.0) = ~0.0 OK |
| 25 | nextAfter (0.0, 0.0) = 0.0 OK |
| 26 | nextAfter (~0.0, inf) = 0.5E~323 OK |
| 27 | nextAfter (~0.0, ~inf) = ~0.5E~323 OK |
| 28 | nextAfter (0.0, inf) = 0.5E~323 OK |
| 29 | nextAfter (0.0, ~inf) = ~0.5E~323 OK |
| 30 | nextAfter (0.5E~323, 0.0) = 0.0 OK |
| 31 | nextAfter (0.5E~323, ~0.0) = 0.0 OK |
| 32 | nextAfter (0.5E~323, ~inf) = 0.0 OK |
| 33 | nextAfter (~0.5E~323, 0.0) = ~0.0 OK |
| 34 | nextAfter (~0.5E~323, ~0.0) = ~0.0 OK |
| 35 | nextAfter (~0.5E~323, inf) = ~0.0 OK |
| 36 | nextAfter (0.5E~323, 0.5E~323) = 0.5E~323 OK |
| 37 | nextAfter (~0.5E~323, ~0.5E~323) = ~0.5E~323 OK |
| 38 | nextAfter (0.5E~323, inf) = 0.1E~322 OK |
| 39 | nextAfter (~0.5E~323, ~inf) = ~0.1E~322 OK |
| 40 | nextAfter (0.17976931348623157E309, inf) = inf OK |
| 41 | nextAfter (~0.17976931348623157E309, ~inf) = ~inf OK |
| 42 | nextAfter (0.2225073858507201E~307, inf) = 0.22250738585072014E~307 OK |