[Git][cmucl/cmucl][issue-459-more-accurate-dd-complex-div] Multiply by 0.5 instead of dividing by 2