Fixed that float custom fields do not use CSV decimal separator (#10364).
Authored by: jplang 2013-02-19
Parent: [r11440]
Child: [r11442]