Stephen torri <storri at torri.org> writes: > > In regards to the C++ output > convention is that is the C++ standard Yes, I believe so, though I don't actually have a copy of the standard, I've followed gnu g++. -- All followups to gmp-bugs at swox.com please.