uses Core; file FormatDouble.cpp; mainconfig "" = "";