Changed BigInt to Integer
Updated the header comments and the top-level imports
Issue #21