#ifndef JKJ_DRAGONBOX
#define JKJ_DRAGONBOX

extern void dragonbox_double_to_chars(double x, char *buffer);

#endif