semantics of numeric operations
use the term "frame" instead of "context"