use boost cstdint