The smallest positive normal float, about 1.1755e-38. It is not the most negative float: use -FLOAT32_MAX for that.
FLOAT32_MIN :: 0h00800000The smallest positive normal float, about 1.1755e-38. It is not the most negative float: use -FLOAT32_MAX for that.
FLOAT32_MIN :: 0h00800000