Computer Arithmetic in theory and practice