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