Better fixed width integer types and format strings