updated documentation for Integer