Function is_rat_one_over_something