After this change, now in my short tests floats and symbols seem to be correctly indentified on load. Lists also still work.
However, as strtof and strtod also parse hex-numbers like 0x200 my change needs further changes, because "set a 0x200" will save "a" as "512". ;)
Hmmm, my (small) change is already in the SF CVS and should be ok for all symbols saved by pool. I'll try to adopt your findings later, if still necessary.
many thanks, Thomas