Pinball bulbs - #44 Miniature. Pack of ten.
These are not LEDs, they are old-school tungsten lamps.
Sold as a box of ten.