stdint + few lines in documentation