data.intFebruary 23, 2016 ยท View on GitHubThe 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