How to disable implicit convert float to int.

[Yardanico]

`distinct` would perform the same as an object/tuple with a single element if 
you compile with optimizations. Convertsions between `distinct T` and `T` are 
fundamental, I don't see why would you want to disallow them.