type conversion checking