Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic. | AMiner