Initial commit of integer(-gmp) package; code copied from base