40 #include "softfloat.h"    50     if ( a & 
UINT64_C( 0x8000000000000000 ) ) {
 
uint64_t softfloat_shortShiftRightJam64(uint64_t a, uint_fast8_t dist)
unsigned long long uint64_t
float64_t softfloat_roundPackToF64(bool, int_fast16_t, uint_fast64_t)
float64_t softfloat_normRoundPackToF64(bool, int_fast16_t, uint_fast64_t)
float64_t ui64_to_f64(uint64_t a)