Multiprecision floating point addition (Proceedings of the 2000 international symposium on Symbolic and algebraic computation)