Division of Floating Point Expansions with an Application to the Computation of a Determinant. - Marc Daumas; Claire Finot (J. Univers. Comput. Sci., 1999)