RSA encryption using GiNaC for large numbers