Nimrod libgmp bindings