I noticed that there is no uint type in sophia, there is any way to simulate it? That type is esencial for the crypto development
Uint is mostly about sanitizing/checking input I guess… You can write a function:
function uint(i : int) : int = require(i >= 0, "Uint error") i
If you like.