Incorporating solutions of negative constraints for the numerical domain, initial commit.