Преобразование текстового списка в список целых

Мне кажется я видел такой рецепт, но найти не могу. Написать могу и сам, но решил поискать, а не изобретать велосипед.

Имеем строку:
>>> s = "1,3,5-9,12"
Нужно преобразовать в список целых чисел:
>>> result = convert_list_and_diapazon_to_intlist(s)
>>> print result
[1, 3, 5, 6, 7, 8, 9, 12]

Кто-нибудь киньте линком, если такое есть готовое? Если нет - буду писать свое.