Fix the decimal symbol in various places

This fixes how the numeric value in the tip input box is displayed, as well as a few places where the numbers are updated via JavaScript.