Patch by Jens Rohler <jkcr@rohler.de> to add bigint_sub()