Given:

(apologies for the ping, José!)

Is there a possibility that we could ever get dedicated float operators (+., *., >., …) like in OCaml and Gleam?

I’ve considered the following (what am I missing?):

• Is there anything that would make this a technical no-go?
  …or maybe it’s already being considered?

• Would it have to be a 2.0 feature?
  I imagine adding it as opt-in totally defeats the purpose, though I could see a path where we’d get a warning for doing 1 / 1.0 vs an error for 1 /. 1.0. I’m a bit fuzzy on the criteria for this as, for example, I believe the removal of imperative assignment was a post-1.0 feature, no?

• We would need Integer.to_float/1 and Float.to_integer/1 functions.

What do you all think? Do any of you work on a codebase that would make this a nightmare scenario for you? Do math-heavy libraries like Nx rely heavily on overloaded operators?