Got rev-rev working. Need to implement case-case floating to get leq-total working.