This is documentation for Mathematica 7, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

IdealDivide

IdealDivide[x, y]
gives the correctly rounded result of x divided by y involving a single rounding error.