The Fraction ADT