domain/concrete: fix SExt

We just return the new value with different type as the python
int is signed. Also, assert that the given value is int.