SubtractTimes     513 src/bignum.cc      SubtractTimes(other, bigits_[used_digits_ - 1]);
SubtractTimes     535 src/bignum.cc    SubtractTimes(other, division_estimate);
SubtractTimes     126 src/bignum.h     void SubtractTimes(const Bignum& other, int factor);