binary arithmetic

Note that all correctly rounding arithmetics satisfy property A1, as do those with properly truncating addition. All faithful binary arithmetics and all arithmetics with either properly truncating or correctly chopping addition satisfy property A2.