}
static inline fp16_int_t fp64_to_fp16(double x)
{
// NOTE: Strictly speaking, there are some select values where this isn't correct,
// since we first round to fp32 and then to fp16.
}
static inline fp16_int_t fp64_to_fp16(double x)
{
// NOTE: Strictly speaking, there are some select values where this isn't correct,
// since we first round to fp32 and then to fp16.