Recursive Algorithms with Ordinal Decreasing Functions on the Reals

Recursive algorithms that use ordinal decreasing functions can halt and be ordinal decreasing for all real inputs.