[Git][cmucl/cmucl][rtoy-amd64-p1] Define double-double-float-digits