Conversion from floating-point to integers is done by truncation.
Conversion from floating-point to integers is done by truncation.

diku-dk/futhark,ihc/futhark,ihc/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,HIPERFIT/futhark,ihc/futhark