_locale_radix = locale.localeconv()['decimal_point']

def read_float_with_comma(num):
    if _locale_radix != '.':
        num = num.replace(_locale_radix, '.')
return float(num)
Convert Python strings into floats explicitly using the comma or the point as separators