/*
 * This file is in the public domain.
 */

#ifndef _FLOATINGPOINT_H_
#define _FLOATINGPOINT_H_

#include <machine/ieeefp.h>

#endif /* !_FLOATINGPOINT_H_ */