data.ratFebruary 23, 2016 ยท View on GitHubThe rational numbers. basic : the rationals as a field order : the order relations and the sign function