Floating Convert to Integer Doubleword with Rounding towards Zero
Converts a double-precision argument to a 64-bit signed integer, using the rounding mode round-toward-zero, and returns the result in a double.
double __fctidz (double);