Как лучше всего отформатировать номер телефона в Python?

Если все, что у меня есть, - это строка из 10 или более цифр, как я могу отформатировать ее как номер телефона?

Несколько тривиальных примеров:

555-5555
555-555-5555
1-800-555-5555

Я знаю, что это не единственный способ их отформатировать, и очень вероятно, что я оставлю все, если сделаю это сам. Есть ли библиотека Python или стандартный способ форматирования телефонных номеров?