If you try to do this ...
... the result looks like that:
You'll get the system default decimal separator, but not the defined one.
It would be great if the "Specify Decimal Point character" format sequence would work together with time format strings like %T or %<%Y/%m/%d %H:%M:%S%3u>T.
