top12
static inline uint32_t top12(double x)
static inline uint32_t top12(double x)
static inline uint32_t top12(float x)
static inline uint32_t top12(float x)
static inline uint32_t top12(double x)