Add standard int types to header.