Finite Precision Number Systems and Arithmetic (Encyclopedia of Mathematics and its Applications)