IntNumber stores its value as an std::int64_t