The smallest positive normal float64, about 2.2250738585072014e-308. It is not the most negative double: use -FLOAT64_MAX.
FLOAT64_MIN :: 0h00100000_00000000The smallest positive normal float64, about 2.2250738585072014e-308. It is not the most negative double: use -FLOAT64_MAX.
FLOAT64_MIN :: 0h00100000_00000000