Make sure that DBL_* macros are defined