Fix an aspect ratio problem encoding on Windows.

The problem occurred in numeric locales that use a comma for the decimal
point.