Q1 (20 points)
IEEE Binary Floating Point System. Suppose in a specific IEEE format, the width of the exponent field is 5 and the width of the fraction field is 5.
(a) (2 points) What are the smallest positive subnormal and normal floating-point numbers?
(b) (2 points) Give the values of machine precision and machine epsilon.
(c) (2 points) What are the smallest gap and largest gap between two consecutive finite floating-point numbers?
(d) (3 points) What is the smallest positive integer that is not exactly representable by this IEEE floating-point format?
(e) (5 points) Let a real number x = -(1.b, bbab4bs b6 . . .)2 be in the range of normal floating-point numbers. What is the largest |round(x)-x| [x^2]?
(f) (3 points) Given two finite real numbers a and b with a < b, is it true that round(a) <= round(b) for any rounding mode? Justify your answer.
(g) (3 points) Suppose x is any finite floating-point number. Is it true that |x| = 2^x for any rounding mode? Either give a proof or a counterexample.