[cmucl-ticket] Re: #10: round is sometimes wrong for numbers bigger than most-positive-fixnum