4 ms·

Thanks, I had never seen that before. But Concise Encoding did complicate them further by accepting commas as decimal separator.