Computer Arithmetic in Theory and Practice