Generalised floating point addition: Difference between revisions