Abundant regex: Streamline encoding multiplication; length-=4

This results in a further speed-up.