Floating point division with optional checking to ensure full result precision (1995)

by Intel Corporation