Exponentiation (^) can break Int/Float type safety

[mgold]

Currently, exponentiation (^) : number -> number -> number. A negative integer power will yield a float, producing a float value typed as an Int.

base : Int
base = 10

power : Int
power = -3

bad : Int
bad = base ^ power

toFloat bad == 0.001 which can cause all kinds of havoc.

Perhaps the return value should be changed from number to Float.

[jvoigtlaender]

Closing as a duplicate.

[jvoigtlaender]

Closing as a duplicate.

[mgold]

I looked for if this had already been reported... where's the original?

[mgold]

I looked for if this had already been reported... where's the original?

[jvoigtlaender]

#194, #526

[jvoigtlaender]

#194, #526

[mgold]

Ok thanks.

[mgold]

Ok thanks.