Start with type limits
Completed signed and unsigned type limits