Add implementation of exact semantics and direct implementations of approximating