zsh: Give python.zsh a number.