http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57266
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- Ah, sorry. I already had to play a bit with types to avoid similar painful warnings on x86_64 and didn't check on other platforms. I think making "low" an unsigned int would be fine (we have just checked that it is the sum of 2 numbers smaller than a precision). Note that the host_integerp checks are suspicious, I would have expected true as second argument, especially for the second one, to ensure it is not negative.