Add #include <cstdint>