updated shiny interface to allows the user to change the decimal mark