Rejig the bottom-level loops in internal_mul_* to use pointers instead