Numerical Transition Systems/Extensions