improved automated conversion of int to TInt