-- no bignum support
