Allow TUINTEGER -> int casting