Without casting I get the following error:
`error: passing ‘const CSymPy::Integer’ as ‘this’ argument of ‘mpz_class CSymPy::Integer::as_mpz()’ discards qualifiers [-fpermissive`