A slight re-organization of Priest's "Efficient Scaling for Complex Division" to make it compatible with "try to divide the dumb fast way inline, then branch to rescale only if necessary" while preserving scale invariance of rounding.
Also fixes it up to work for Float16, which the original approach does not.
Further optimization possible and pretty straightforward.
