#if WANT_SINGLEPREC
#include "single/rredf.c"
#endif