check types in other number ops