[Git][cmucl/cmucl][master] Clean up make-double-float vop.