TIL they’re called Numeronyms. Nice!