Improved version of add

The current add function uses an old algorithm for the error free sum of two floating point numbers. Pages 8-9 of www.ti3.tu-harburg.de/paper/rump/RuOgOi07I.pdf give an algorithm with the same results that only uses 3 flops.