integer divides by integer should be a rational