Floating-point Conversion to Unsigned integer Double word with rounding towards Zero
Converts a floating-point value to unsigned integer double word and rounds to zero.
double __fctudz(double);
The result is a double number, which is rounded to zero.