“In the transfinite construction of surreal numbers, the rational numbers generated during the finite stages are exclusively the dyadic rationals, which are those whose denominator is a power of two.”