type check in -, /