✨ New type system for Double numbers

[LVMVRQUXL]

💡 The idea

We would like to introduce an explicit type system for representing floating-point numbers represented by the Double type.

This type system should have the following types:

• NonZeroDouble representing floating-point numbers represented by the Double type other than zero.
• PositiveDouble representing positive floating-point numbers represented by the Double type, including zero.
• NegativeDouble representing negative floating-point numbers represented by the Double type, including zero.
• StrictlyPositiveDouble representing positive floating-point numbers represented by the Double type, excluding zero.
• StrictlyNegativeDouble representing negative floating-point numbers represented by the Double type, excluding zero.

All types of this type system should be comparable and serializable, and should have at least the following functions:

• toDouble for returning the floating-point number as a Double.
• toString for returning the string representation of the floating-point number.

Here's an example of what this new type system could look like:

interface NonZeroDouble : Comparable<NonZeroDouble>
interface PositiveDouble : Comparable<PositiveDouble>
interface NegativeDouble : Comparable<NegativeDouble>
interface StrictlyPositiveDouble : Comparable<StrictlyPositiveDouble>
interface StrictlyNegativeDouble : Comparable<StrictlyNegativeDouble>

🙏 Help needed

Please give this post a reaction if you are interested in this feature, or comment it below if you have any suggestion.
We would love to have your feedback!

[LVMVRQUXL]

We've created the topic #590 for implementing this idea.