Back before I retired Treasury was starting to move us all off printed paychecks to direct deposit. This process is finally ending, with moving everyone off printed checks. Back in the day, one's paycheck (and savings bonds, which are also all electronic now) were actually printed on IBM punch cards, so the data punched into the card matched the printed data (payee and amount, etc.) on the check.
I wonder whether Treasury's remaining paper checks are still printed on IBM cards? Probably not, they probably used bar-coded checks these days.
[Updated: no more IBM cards, here's the image--looks like the data is all encoded]