14 REALLIB: Conversion of Floating-Point Numbers