[Paracompact]

Is it unnecessary bloat to match for digits X in patterns $X, say among a bunch of receipts? Eye of the beholder and all, but I'm inclined to think no.