Abundant regex: Simplify doubling of a fractional part; length-=9