adding random integer extensions for Int type