lib: even faster `.mul()`