Rooted interval
A rooted interval is a rational interval over an power of 2, i.e. of the form [math]\displaystyle{ \frac{x}{2^n} }[/math].
A rooted interval is a rational interval over an power of 2, i.e. of the form [math]\displaystyle{ \frac{x}{2^n} }[/math].