2x Two (Explicit)

Definition of Real (Explicit)