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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
#file for mpfi_q_div.dat
#
# column fields:
# 1: inexact flag (returned value)
# 2: precision of result
# 3: left endpoint value of result
# 4: right endpoint value of result
#
# 5: first parameter value
# 6: precision of second parameter
# 7: left endpoint value of second parameter
# 8: right endpoint value of second parameter
# special values
0 53 nan nan -1/1 53 nan nan
0 53 nan nan 0 53 nan nan
0 53 nan nan 1/1 53 nan nan
0 53 nan nan -3/1 53 nan -inf
0 53 nan nan 0 53 nan -inf
0 53 nan nan 3/1 53 nan -inf
0 53 nan nan -7/1 53 nan -7
0 53 nan nan 0 53 nan -7
0 53 nan nan 7/1 53 nan -7
0 53 nan nan -15/1 53 nan -0
0 53 nan nan 0 53 nan -0
0 53 nan nan 15/1 53 nan -0
0 53 nan nan -31/1 53 nan 1
0 53 nan nan 0 53 nan 1
0 53 nan nan 31/1 53 nan 1
0 53 nan nan -63/1 53 nan +inf
0 53 nan nan 0 53 nan +inf
0 53 nan nan 63/1 53 nan +inf
0 53 +0 -0 -2/1 53 -inf -inf
0 53 +0 -0 0 53 -inf -inf
0 53 +0 -0 2/1 53 -inf -inf
0 53 +0 0.5 -4/1 53 -inf -8
0 53 +0 -0 0 53 -inf -7
0 53 -0.5 -0 4/1 53 -inf -8
2 53 +0 0x12492492492493p-58
-1/7
53 -inf -8
1 53 -0x12492492492493p-58 -0
1/7
53 -inf -8
2 53 +0 0x12492492492493p-58
-1/8
53 -inf -7
1 53 -0x12492492492493p-58 -0
1/8
53 -inf -7
0 53 +0 +inf -8/1 53 -inf -0
0 53 +0 -0 0 53 -inf -0
0 53 -inf -0 8/1 53 -inf -0
0 53 -inf +inf -16/1 53 -inf 8
0 53 -inf +inf 0 53 -inf 8
0 53 -inf +inf 16/1 53 -inf 8
0 53 -inf +inf -32/1 53 -inf +inf
0 53 -inf +inf 0 53 -inf +inf
0 53 -inf +inf 32/1 53 -inf +inf
0 53 nan nan -64/1 53 -inf nan
0 53 nan nan 0 53 -inf nan
0 53 nan nan 64/1 53 -inf nan
0 53 -inf +inf -1/1 53 +0 -0
0 53 +0 -0 0 53 +0 -0
0 53 -inf +inf 1/1 53 +0 -0
0 53 -inf -3 -9/1 53 +0 3
0 53 +0 -0 0 53 +0 3
0 53 3 +inf 9/1 53 +0 3
2 53 -inf -0x1c71c71c71c71cp-58
-1/9
53 +0 4
1 53 0x1c71c71c71c71cp-58 +inf
1/9
53 +0 4
2 53 -inf -0x1c71c71c71c71cp-58
-1/4
53 0 9
1 53 0x1c71c71c71c71cp-58 +inf
1/4
53 +0 9
0 53 -inf -0 -7/1 53 +0 +inf
0 53 +0 -0 0 53 +0 +inf
0 53 +0 +inf 7/1 53 +0 +inf
0 53 +0 -0 -1/1 53 +inf +inf
0 53 +0 -0 0 53 +inf +inf
0 53 +0 -0 1/1 53 +inf +inf
0 53 nan nan -1/1 53 +inf nan
0 53 nan nan 0 53 +inf nan
0 53 nan nan 1/1 53 +inf nan
# regular values
0 53 0x1p-48 1
-3/32
53 -0x3p+43 -0x3p-5
1 53 0x13333333333333p-54 3
-3/32
53 -0x5p-4 -0x1p-5
2 53 0x1p-48 0x6db6db6db6db7p-14
-3/32
53 -0x3p+43 -0x7p-43
3 53 0x1b6db6db6db6dbp-59 0x4cccccccccccdp-56
-3/32
53 -7 -5
0 53 -inf +inf
-3/32
53 -7 +5
0 53 0.5 1
5/8796093022208
53 0x5p-43 0x5p-42
1 53 0xb6db6db6db6dbp-52 1
5/8796093022208
53 0x5p-43 0x7p-43
2 53 1 0x1aaaaaaaaaaaabp-52
5/8796093022208
53 0x3p-43 0x5p-43
3 53 0xb6db6db6db6dbp-52 0x1aaaaaaaaaaaabp-52
5/8796093022208
53 0x3p-43 0x7p-43
3 53 0xfffffffffffffp-52 0x10000000000001p-52
1/3
53 0x15555555555555p-54 0xaaaaaaaaaaaabp-53
3 4 0xfp-4 0x9p-3
1165/16384
53 0x1234p-16 0x1234p-16
|
