#ifndef WH_IEEEFP_H_609429a0_
#define WH_IEEEFP_H_609429a0_

#include <stdio.h>

#include "mcc.h"

extern int float_cvt_ieee(TOKEN *, int, const unsigned char *, int, int, int, const char **);
extern void float_dump_ieee(FILE *, CSTTYPE, const unsigned char *);

#endif