Add letFloatCaseAltR to letFloatExprR
Do last derivation with new lemma-based w/w