format decimal in ksh

hi all,
in ksh, how do i format a decimal number (e.g 3381.19) to integer (e.g 3381). This number is average time response for server in millisec and i wanted to display it in a more readable format i.e in seconds without any decimals.

thanks in advance.

just answered my own question, i needed to round the decimal

e.g int(3381.19 + 0.5)

you must be using ksh93 to use int(). Here is a simple way to do it in all ksh versions.

$ typeset -i foo=3381.19
$ echo $foo
3381