2/3 in Rationals;
# true
2/3 + 3/4;
# 17/12