changed handling for float2str(), added int2str()