We do not need to call trunc() to truncate a double into an integert.

Mark the intention for flexelint with a cast.