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.
I wanted to do that, but both functions need to be generated server-side so they get the right decimal symbol from Babel.