How to convert Nat to Float

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?

Float.fromInt(…your nat…)

1 Like