Added lt() and uminus() to the library to support signint.