tests for duration invariants in arithmetic