Float: FloatCore + Real

[tyilo]

Is there a reason that Float doesn't have FloatCore and Real as super traits?

[cuviper]

That's mainly an artifact of history, since Float came first, and it's a breaking change to add a super trait.

I think it would also cause method resolution ambiguity in the current state, since any T: Float context would have multiple overlapping method names in scope. If we ever do make that breaking change, Float should only add distinct methods over its super traits.

[tyilo]

If we ever do make that breaking change, Float should only add distinct methods over its super traits.

That was also my idea.