1. IRD01 — RatRep (proposed)
2. IRD02 — RatEq (proposed)
3. IRD03 — RatLt (proposed)
4. IRD04 — RatInterval (proposed)
5. IRD05 — RatFold (proposed)
6. IRD06 — Sqrt2Bracket (proposed)
7. IRD07 — Log2Partial (proposed)
8. IRD08 — ExpPartial (proposed)
9. IRD09 — CApprox (proposed)
10. IRD10 — IrrCert (proposed)
11. IRD11 — QuadRep (proposed)
12. IRD12 — QuadMul (proposed)
13. IRD13 — QuadNorm (proposed)
14. IRD14 — AuxParameters (proposed)
15. IRD15 — Frequency (proposed)
16. IRD16 — AuxJet (proposed)
17. IRD17 — AuxMatrix (proposed)
18. IRD18 — AuxKernelVector (proposed)
19. IRD19 — NodeBracket (proposed)
20. IRD20 — HomogeneousSum (proposed)
21. IRD21 — ConfluentFunctional (proposed)
22. IRD22 — HermiteBasis (proposed)
23. IRD23 — JetErrorBound (proposed)
24. IRD24 — SeparationSchedule (proposed)
25. IRD25 — IntegerPolynomial (proposed)
26. IRD26 — TransCert (proposed)