allow compacting non-Int values as well in SerializeIni3.cpp