added missing #include <cstdint>