add patched hashable, export small int constructor in integer-gmp