Using Integer instead of int for arbitrarily large values