Is there such a column type in MySQL?

For any two val开发者_如何学Cues a and b of such type,(a<b)there always exists a c satisfying:

a<c<b

decimal ( float ) type

No. Mathematically for the property to hold true, the numbers must be from an infinite domain. Decimals and floats may have a large domain but it is not infinite.

There is a simple proof by counter example, but I'll leave that as an exercise to the reader.