Discovered that lrs supports gmp