lift wrap out of SymbolicInt