restructure Integer using an internal lowlevel type