Үүнийг мессежээр илгээх: Quantifier elimination for counting extensions of Presburger arithmetic