Koha

With this Koha Plugin you can type a dot instead of a comma in input fields as decimal separator. It replaces the comma with a dot.