Abundant regex: Remove a component not needed in division; length-=9

This is needed in some forms of multiplication, but not in division, where the greediness of the quotient prevents false results.