ComputerArithmetic`
ComputerArithmetic`

IdealDivide

IdealDivide[x,y]

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

Details and Options