Class BigRealField