Added function to change floating point to a string where dots are replaced with commas. This is for the dutch decimal notation, which is different from the international one.