More checks on binary operations