7/29/2019 Floor and Ceiling
1/13
Chapter 3
Number Conversion
3.1 The Floor Function
/ 1/2
1.0/2.0
m n
(real)m/(real)n
m/nreal
7/29/2019 Floor and Ceiling
2/13
m n x y
x
x x x x
x
x
x x x
Definition 3.1 (Floor Function) x xn
n x n x .
2
n x
n x
x (floor)x
n
n (floor)x (real)n x .x
7/29/2019 Floor and Ceiling
3/13
3.2 The Significance of Types
x y
m n