Elements of Floating-point Arithmetic