construction of an ArithmeticalDSS as a DSL subsegment

Two differences: 
- First, IntegerComputer::floorDiv is not a model of binary functor 
- Second, IntegerComputer::floorDiv is not a truncation toward zero, this floor function rounds toward negative infinity.