Preserve type.
Use coding: utf-8 for Python files.

Like gettext/intltool, Jedi doesn't understand utf-8-unix.