Fix for bug 1196: number format did not work when comma was the decimal separator