Merge pull request #6607 from gilles-peskine-arm/negative-zero-from-add-development

Fix negative zero from bignum add/subtract