fix: return Cool metric for Cool/non-Cool division

When dividend is Cool (unitless) and divisor has a metric, the result
should be Cool, not the divisor's metric. E.g., 5 / 10km → 0.5 (Cool),
not 0.5km.

Cool-absorbing behavior is designed for addition (5 + 100Mbps → 105Mbps),
but applying it to division would incorrectly treat 5 as 5km, producing
(5*km)/km = 5km instead of the correct 0.5 (dimensionless).

0 files changed, 0 insertions, 0 deletions