I'm certain that GPC team is able to do the task correctly, to the last theoretically achievable bit of precision, it's only the matter whether it is worthwhile the effort. If Frank's idea of typecast operators is
<cough cough> I suspect that the correct language to implement arbitrary-precision floating point numbers in is C++, with heavily templated floating point types... Generic algorithms could be written and specialized for hardware facilities...
OK, I'm not volunteering to do this today; it's just a thought.
achivable, it might be a more general solution, and this way probably a better one ...
Mirsad Todorovac