  initVal = toReal $ Fraction num den
  in valSimplified == initVal

-- | Tests addition of fractions
prop_addition :: Fraction -> Fraction -> Bool
prop_addition fracA fracB = let
  eval1 = toReal (fracA + fracB)
  eval2 = (toReal fracA) + (toReal fracB)
  in abs(eval1 - eval2) < marginErr -- Can't test for equality due to floating point errors