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