Thanks.
I'll try to implement this tomorrow, but my guess is that I won't be able to use this guy's solution, since I need to keep track of overflow, non representibility, precision loss (it's for a deep flow analysis tool), and extended precision too (80 bits at least...).
Hence I'll try implementing your solution.
Thanks for the details!