Finite precision arithmetics