construction of an ArithmeticalDSS as a DSL subsegment

The word 'truncation' seems more appropriate than the word 'floor' for truncation toward zero. I changed the code.