Repeating decimal (source code)

= Repeating decimal
{wiki}

= Eventually periodic decimal
{synonym}

A real number is rational exactly when its expansion in any integer base is eventually periodic.