Hello, I just pushed this patch, introducing user-defined literals: http://gmplib.org:8000/gmp/rev/e42cc37b852e If you have any feedback, on the code or the documentation... -- Marc Glisse