Method PushInt

src/cpp/web-ifc/parsing/IfcLoader.cpp:367–373

   }

   void IfcLoader::PushInt(int input)
   {
    std::string numberString = std::to_string(input);
    uint16_t length = numberString.size();
    Push<uint16_t>((uint16_t)length);
    Push((void*)numberString.c_str(), numberString.size());             
   } 
   
   double IfcLoader::GetDoubleArgument() const
   {