better integer types