Representation of Floating Point Numbers and their Arithmetic