Decrease by a factor of = Divide according to quant mountain
Multiplication = 1/division, but perhaps. We’ll need to ping @gregmat.
