Dyadic_rational