Dynamically growing integer type.