Python: generator and list comprehension example: double