Largest and smallest integers in AI2

See here: