Correct integer sizes and more integer builtins