Method PushDouble

src/cpp/web-ifc/parsing/IfcLoader.cpp:356–365

   }

   void IfcLoader::PushDouble(double input)
   {             
      std::string numberString = std::format("{}", input);
      size_t eLoc = numberString.find_first_of('e');
      if (eLoc != std::string::npos) numberString[eLoc]='E';
      else if (std::floor(input) == input) numberString+='.';
      uint16_t length = numberString.size();
      Push<uint16_t>((uint16_t)length);
      Push((void*)numberString.c_str(), numberString.size());        
   }

   void IfcLoader::PushInt(int input)
   {