Web Inspector: Use ECMAScript Numeric Separators for numbers with 5 or more digits