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
// positive zero and negative zero
[
0e0,
0d0,
]
[
0E0,
0D0,
]
[
0e0,
0D0,
]
[
0E0,
0d0,
]
[
0.e0,
0.d0,
-0.e0,
-0.D0,
]
[
123.777d777,
123.777e777,
]
[
123d777,
123e777,
]
[
123.d777,
123.e777,
]
[
123.0d777,
123.0e777,
]
[
123.0d0,
123.0e0,
]