/* $OpenBSD: ieee.h,v 1.1.1.1 2009/07/31 09:26:25 miod Exp $ */
/* public domain */
#include <mips64/ieee.h>