Added an integer type.