Finite Precision Number Systems and Arithmetic