Mike Frysinger <vapier at gentoo.org> writes: looks like support for the x32 ABI slipped through the cracks. here's the patch updated to latest hg branch (http://gmplib.org:8000/gmp). What is this? Please give some context. -- Torbjörn