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

/* Last 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

#define strtod m3_strtod

#include "dtoa.h"
