Removed int() cast in integer function