math 3 7
7F800000
Sample Presentation
0x7F800000
7FE0
Sample Presentation
7FE0
16
22
7
Sample Presentation
22
/
7
12.3
5
Sample Presentation
12.3
+
5
i
2
3.1415
Sample Presentation
2
e
i
3.1415
Polar
2
3.1415
n
d
rational
n
d
FF60
based_integer
16
FF60
c
c2
P
Q
rational
p
P
q
Q
n
n
integer_type
n
n
T
P
p
P
C
2
C2
C
2
C
2
V
symbolname
symbolname
T
A
B
{
A
,
B
,
}
plus
x
y
plus
x
y
z
plus
times
a
x
b
times
plus
F
G
x
plus
F
G
plus
F
G
x
F
(
A1
,
...
,
A2
,
An
)
op
x
d
expression-in-x
Op
X
∈
D
(
Expression-in-X
)