Rename File: integer.py

File Manager