This should be `int` and we should use GNU MP for this.
This should be
intand we should use GNU MP for this.