I'm not sure yet if I want to put double comma or single comma there.
I need a way to send some kind of representation for ambiguities to the backend.
This is part of the toString() method, which is used only during debugging. I will revert this change.