Improve castFloatAppUnivR to handle forall types