(affirmed!) BIGNUM BUG

[JONL at MIT-MC (Jon L White)]

    Date: 12 December 1979 13:10-EST
    From: Glenn S. Burke <GSB at MIT-ML>
    Subject: (alleged) BIGNUM BUG
	I, if i were into clobbering files, would take the liberty of editing
    the file as follows:
	(SETQ C 118937307725496656754857164120791261365228885. 
	      D 6296488643826193618261. 
	      Q (QUOTIENT C D)
	      R (REMAINDER C D)
	      C* (PLUS (TIMES Q D) R)
	      BMTLOSES (EQUAL C C*)
	      LISPLOSES (EQUAL R D))
    and you will in fact find that LISPLOSES is T.
Sigh, yes, LISPLOSES is indeed true.  Will investigate shortly.  Notice
the representation of these numbers in base 8:
  C = 5252525252525252525252525252525252525252525252525 
  D = 1252525252525252525252525 
  Q = 4000000000000000000000000 
  R = 1252525252525252525252525 
Looks like that "one chance iin 2^35."?