Update ArithmeticalDSS.h