I found an unexpected behavior in the send/recieveString functions: It strips strings of leading zeros if they only contain digits, for example:

gives me: "01 vs 1". Adding a letter changes that to normal.

Can you confirm and fix please? I understand it is useful when transmitting integers, but would expect strings to stay the same no matter what they contain, e.g. when using them as IDs.

Your test is good, and I agree that it should behave differently with such a test, but it is now a special condition : keys can be read in batch (when you use a dot notation), and so every value should be, in this case, casted to the good type (int, float, boolean, string or a full map). In such a case, where the user can't choose the type of each one, "01" will be converted to a number ; needing an heterogeous behaviour, we do this cast on any receiveXXX(), even if it's surprising.

So add a special character or a letter before the value if the value may be converted to a number and you don't want it.