Fixing comments. Changed Interval class to BigInterval, and added an
Interval class to handle integer numbers