De functie int()