cstdint is only sharing this with friends.