It was written 1000.000 IIRC, with the first separator missing, which seemed very confusing and not correct anywhere, whether the conventional separator is a period or a comma
It is definitely a fair question and encouraged to ask by the help!
The issue with performance seems to be around this: