fewer branches in 32-bit divrem gcd. since it seems to be the fastest. weird.