I just found this out by chance, and I cannot decide whether it is clever or idiotic:
Int is a record of type Integer:
Int.GET('3') will actually get Int.Number = 3...
This is in NAV 2018. I have not investigated other versions, but I am pretty sure this has not always worked that way.
Senior NAV Developer
Elbek & Vejrup