Better size-safe checking for integer widths.