more docs for Integers