implemented gmp_rsa_public_key.encrypt() method