Fix Fraction(double) and Fraction(String) so that the denominator is correct, add some documentation