Reconsider numeric literals

[treeowl]

I know Frege is not supposed to be the same as Haskell, but I urge you to reconsider treating numeric literals so differently, for purely practical reasons. It seems to me that the way Frege handles them will make it quite annoying to write libraries that compile under both Frege and GHC. I personally suggest using something at least as general as the following:

###Non-negative integer literals

Handle these with a Semiring class.

###Negative integer literals

Handle these with a Ring class.

###Fractional numbers

Handle these with a Field class.

[Ingo60]

I am sure you're having good intentions, and, BTW, I'd love to have a mathematical sound number class system. As well as Rationals, Complex and maybe even esoteric but fascinating things like Continued Fractions.

So, if you or someone else comes up with a proposal with flesh on the bones, or even with a POC implementation, you'll be very welcome. But as it stands, I am like: Ok, David threw 3 Buzzwords. Very interesting.