introduced exact width int types