TODO A list of next step tasks. Write unit tests for TIP extension (Tons of Inductive Problems). Implement the new floating point standard theory.