-+- DBL_MANT_DIG
value: 53
---
-+- DBL_MAX
defined: 1
value_0: 255
value_1: 255
value_2: 255
value_3: 255
value_4: 255
value_5: 255
value_6: 239
value_7: 127
---
-+- DBL_MIN
defined: 1
value_0: 0
value_1: 0
value_2: 0
value_3: 0
value_4: 0
value_5: 0
value_6: 16
value_7: 0
---
