Tags: HSS-ID.C.9, HSS-MD.B.7, HSF-LE.B.5, double discount, integers,