How to convert Nat to Float

[ildefons]

I want to divide a Float number by the size of an array an obtain a Float. However, array.size() returns a Nat and I cannot find a way to conver a Nat into a float before dividing. How can I convert Nat to Float?

[infu]

Float.fromInt(…your nat…)