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