120 double *value_return);
unsigned char ws_ieee754_nan[4]
WsIeee754Result ws_ieee754_decode_single(unsigned char *buf, double *value_return)
WsUInt32 ws_ieee754_single_get_exp(unsigned char *buf)
WsUInt32 ws_ieee754_single_get_mant(unsigned char *buf)
unsigned char ws_ieee754_negative_inf[4]
unsigned char ws_ieee754_positive_inf[4]
WsUInt32 ws_ieee754_single_get_sign(unsigned char *buf)
WsIeee754Result ws_ieee754_encode_single(double value, unsigned char *buf)