found and fixed a major bug related to comparisons between Integer objects
various changes