Added .min and .max for builtin integral types

This does not get a seperate Test because .min and .max are used in the test of the VRP
in contract.