13.3 Floating-Point Numbers, Representation and Manipulation