| -1775754284 | | Tools for the FPBench numerical software standards (more info at http://fpbench.org/) This package needs documentation This package needs license metadata | Racket | succeeds | 4 |
| -1733767872 | | Alternative MPFR interface for emulating IEEE-754 floating-point numbers This package needs license metadata | Racket | succeeds | 2 |
| -1772566941 | | A tool for automatically improving the accuracy of floating point expressions This package needs documentation | Racket | succeeds; has conflicts; has dependency problems; has failing tests | 5 |
| -1781685045 | | Quadruple-precision (IEEE 754 binary128) floating point for Racket, via an FFI binding to GCC's libquadmath. Provides ~34 significant digits with arithmetic, the elementary/special math functions, comparisons, classification, full-precision string conversion, and constants. | Racket | succeeds | 0 |
| -1770501645 | | Interval analysis for real computation | Racket | succeeds | 0 |
| -1780900976 | | Interval arithmetic for real computation | Racket | succeeds | 0 |
| -1724799272 | | SoftPosit support for Herbie This package needs documentation This package needs license metadata | Racket | fails | 6 |