stdint types and Formatting/Documentation