The int() function