A rational number is dyadic if it has a finite binary representation p / 2 k , where p is an integer and k is a nonnegative integer. Dyadic rationals are important for numerical computations because they have an exact representation in floating-point arithme... ...