Add missing tryinto instances for integer types to floats

[eliaslfox]

No description provided.

[ghost]

Is it something like this?

and how is it different than this integer-> float implementation?

[stylewarning]

I also think more Dividable instances can be added for fixed integer types and single/doubles.

[eliaslfox]

I also think more Dividable instances can be added for fixed integer types and single/doubles.

Hold off on this. I want reconsider our approach to division.

[stylewarning]

Hold off on this. I want reconsider our approach to division.

Im curious to hear your thoughts. Haskell, OCaml, Elm, are kind of sloppy about it imho; Rust is very explicit about casts/conversions/From; and only Rust seems to natively admit that division is a field operation, not a ring-like one (i.e., by making division a trait that looks like (Dividable :left :right :result)).

Probably not a discussion for this issue, but if we want to make division/numbers nicer within the context of this issue, then additional instances will be needed.

[eliaslfox]

I think Rust has the right approach. I want to make all of addition, multiplication, subtraction, and division Class :left :right :result (:left :right -> :result). Num would then be defined as something like:
(Add :a :a :a) (Subtract :a :a :a) (Multiply :a :a :a) => Num :a

The stdlib should only define operations in the form of C :a :a :a. Having instances to divide two integers and end up with a float is infrequently desired. If an alternative output type is desired, the inputs should be explicitly type cast first.

I also want to remove the Div class entirely. I don't find the distinction between integer and fractional division helpful.