Emulation Moves Into 4-State Logic and Real Number Modeling DVCon US 2024