Numerical Transition Systems/Namespaces