Factored out BigFraction from RealValue