The function int x gives the integer part of x. In many computer languages, the function is denoted int(x). It is related to the floor and ceiling functions ⌊x⌋ and ⌈x⌉ by int(x) = {⌊x⌋ | for x>=0 ⌈x⌉ | for x<0. auto right match The integer part function satisfies int(-x) = - int(x)