string.prettyMs() has no option to show x digits after dot and to work with dot and comma (17,77 and 17.77) #3541