letFloatCaseAltR'; track HERMIT changes