DUPLICATE-arithmetic_tolerance
