trunc(x) returns x rounded towards 0, i.e. replaces all decimals after the decimal point with zeroes.