data.int The integers. basic : the integers, with basic operations order : the order relations and the sign function div : div and mod power gcd : gcd, lcm, and coprime