Add dot-separated-numbers.py