Floating point minimum values are positive?

[David]

> There are some floats that can go even smaller than this, but they are
> "denormal" and may incur a large runtime overhead (they are intended to
> prevent underflow / minimize loss of precision in certain computations
> involving very small quantities, and aren't supposed to be used in
> normal calculations).

We were taught something else in university.
Small overhead, though CPUs can handle them (not software implemented)
and they are used when needed, you can't choose to use it or not to use it.