Cast between integer is done with a function call