unique_arithmetic
