However, I'd expect large ints to be stored in two parts. A (class, pointer) pair which has fixed size. And memory referenced by the pointer, large enough to store the value of the large int. 

However, that's part of the language implementation, and not part of the language definition. 

-- 

Jonathan