for OER use IEEE754 binary32 and binary64 format over the wire
diff --git a/skeletons/NativeReal.c b/skeletons/NativeReal.c
index da3d328..7a0d82a 100644
--- a/skeletons/NativeReal.c
+++ b/skeletons/NativeReal.c
@@ -558,6 +558,7 @@
         -1267650600228229401496703205376.0, 1267650600228229401496703205376.0,
 #if __STDC_VERSION__ >= 199901L
         -FLT_MAX, FLT_MAX,
+        -DBL_TRUE_MIN, DBL_TRUE_MIN,
 #endif
         INFINITY, -INFINITY, NAN};
     ssize_t float_set_size;