Text this: Surreal Dyadic and Real Numbers: A Formal Construction