Abundant regex: Shorten doubling of fractional part; length-=2