RFC about integer types