Need to discover correct usage of GMP for bignums. Update readme.