Add 32-bit output for gcdInteger
drwxr-xr-x - testsuite