added the class needed to represent fractions in pre and postconditions