rb-gmp is a stub port
