Properties of two's complement floating point notations. - Boldo, Sylvie; Daumas, Marc (Int. J. Softw. Tools Technol. Transf., 2004)