Implement <fraction> and add test for it