Did I find the right examples for you? yes no

All Samples(1)  |  Call(0)  |  Derive(0)  |  Import(1)
int(x=0) -> int or long
int(x, base=10) -> int or long

Convert a number or string to an integer, or return 0 if no arguments
are given.  If x is floating point, the conversion truncates towards zero.
If x is outside the integer range, the function returns a long instead.

If x is not a number or if base is given, then x must be a string or
Unicode object representing an integer literal in the given base.  The
literal can be preceded by '+' or '-' and be surrounded by whitespace.(more...)

src/w/a/Wallpaper-Downloader-and-Rotator-for-Gnome-HEAD/01_wallpaper_downloader.py   Wallpaper-Downloader-and-Rotator-for-Gnome(Download)
        img = Image.open(file_path)
        width = img.size[0]
        if width > cfg.MAX_WIDTH:
            resize.resize_to_screen_width(file_path)
            cnt_resized_images += 1

src/o/n/on.video-0.2.2/on/video/video.py   on.video(Download)
       'lines' must be a list of lines from the metadata file
    """
    from config import MAX_WIDTH
    from config import DEFAULT_WIDTH
    from config import MIN_HEIGHT
            #print "\t\tx = %d, y = %d" % (x, y)
            # make sure the video doesn't get too small or too big:
            if x < 100 or x > MAX_WIDTH:
                #print "need to adjust the default size (x)"
                x = DEFAULT_WIDTH

src/w/a/Wallpaper-Downloader-and-Rotator-for-Gnome-HEAD/wallpapers/helper/resize.py   Wallpaper-Downloader-and-Rotator-for-Gnome(Download)
    width, height = img.size
 
    ratio = float(width) / float(cfg.MAX_WIDTH)
    new_width = int(float(width) / ratio)
    new_height = int(float(height) / ratio)