added some Int utility functions