[PD] Bug in pool?

[Thomas Grill]

>>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