Bug #1417699: Reject locale-specific decimal point in float()
and atof().
4 files changed