ДОбрый день. Делаю редактор выражений в программе, который потом компилируется в ДЛЛ. Вот есть код

ushort i =1;
ushort j =1;

Я делаю выражение i+j. И хочу присвоить переменной ushort s. В итоге при вычислении i+j у меня получается тип int. И нужно делать приведение типов. Но я не хочу в редакторе это делять. Мне нужен механизм проверки, что int может быть приведен к ushort. Есть ли такая общая функция?