I’m willing to wager it’s regular old floating point and it just draws the repeating bar over the repeating decimals.