So I think it is right here to use the `cpp-options: -DINTEGER_GMP` approach if we want to have it work with integer-simple. But in that case it will need a flag, like how text.cabal does it.