>>73312161All comparisons are recursive, it just changes how values are compared.
If you read abyss.c near the end of the file there is a "bubble_comparator" function, which in short does this:
1. if both are single bubbles compare them directly according to the opcode
2. otherwise check their count, if it differs the comparison is false
3. recursively compare each element contained in the double bubble according to the opcode
Step 2 is a bit weird, but math operations also discard "excess" bubbles if one is smaller, so I think this particular behaviour is at least justified; whether it makes sense is up to debate and part of the feedback process.