/* Copyright (C) 1992, Digital Equipment Corporation          */
/* All rights reserved.                                       */
/* See the file COPYRIGHT for a full description.             */

/* Last modified on Mon Oct 17 09:27:35 PDT 1994 by kalsow    */
/*      modified on Mon Oct 12 13:50:54 PDT 1992 by muller    */

#ifndef KR_headers
#define KR_headers
#endif

#ifndef IEEE_8087
#define IEEE_8087
#endif

#include "dtoa.h"
