| -1746123325 | | Coupling and logic to let and let* forms. | succeeds | 0 |
| -1746123362 | | 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 |