Currently, we only work with assertions/standard exceptions. For better error tracking, it would be better to define mpnum specific exceptions.