public override double doubleValue() { bool neg = num.isNegative(); if (den.isZero()) { return(neg ? Double.NegativeInfinity : num.isZero() ? Double.NaN : Double.PositiveInfinity); } IntNum n = num; if (neg) { n = IntNum.neg(n); } int num_len = n.intLength(); int den_len = den.intLength(); int exp = 0; if (num_len < den_len + 54) { exp = den_len + 54 - num_len; n = IntNum.shift(n, exp); exp = -exp; } // Divide n (which is shifted num) by den, using truncating division, // and return quot and remainder. IntNum quot = new IntNum(); IntNum remainder = new IntNum(); IntNum.divide(n, den, quot, remainder, TRUNCATE); quot = quot.canonicalize(); remainder = remainder.canonicalize(); return(quot.roundToDouble(exp, neg, !remainder.isZero())); }