integer-gmp2 issues on Solaris/SPARC