lib: slightly faster `.mul()`