I have never heard "a devil's dozen." I've never read it in a book. I have heard "a baker's dozen" for thirteen, and, in fact, some bagel bakeries actually give you thirteen bagels if you buy "a dozen."

13 of something is a "baker's dozen." And no, it's not that widely used.

It comes from a practice that was once common, at least in small towns, that a merchant would give you something extra as a thank you for your business. A baker might give you and extra roll when you bought a dozen, or an extra cookie. The store clerk might give an extra piece of candy. I heard it only occasionally as a boy, but almost never now.