In the GitHub issue for integer division there was a proposal to have a to_real
function that would convert ints to reals. It seems this never got implemented, so I am just wondering if that was intentional or if there is a preferred workaround for converting ints to reals and thus e.g. avoid warnings about division when I need a real division of values that are integer (I iterate over integers and then need fractions formed by those integers).
Tagging @nhuurre who implemented the integer division…
Thanks for any hints