/* float.c */
extern void qfloat(int ,unsigned char *);
extern void fltadd(unsigned char *, unsigned char *);
extern void fltmult(unsigned char *, unsigned char *);
extern void pack(unsigned char *, unsigned char *);
extern void unpack(unsigned char *, unsigned char *);
extern void norm(long, long, long, long, unsigned char *, long);