add old-library/dot-separated-numbers.py