construction of an ArithmeticalDSS as a DSL subsegment