float128_to_uint64_round_to_zero
unsigned long long float128_to_uint64_round_to_zero( float128 );
unsigned long long float128_to_uint64_round_to_zero( float128 );
return (unsigned long)float128_to_uint64_round_to_zero(*a);
unsigned long long float128_to_uint64_round_to_zero( float128 );