Number (and currency) formatting in javascript