// Type infos and methods for Float64 (64-bit floating point) using a template file

#define FLOATX_C_H__BITS 64
#include "floatX.c.h"