Done checking of operations on correct data types.