| -1751339219 New | | Coupling and logic to let and let* forms. | succeeds | 0 |
| -1751341045 New | | Exact computer arithmetic and base conversion via continued fractions. | succeeds | 0 |
| -1746123644 | | A very simple library for basic matrix arithmetic. | succeeds | 0 |
| -1746109230 | | Basic polynomial arithmetic and interpolation. | succeeds | 0 |