make width of computation depend on base type, i.e. if its 64bit then use 64bit math
add relational operators