softposit-herbie (racket): SoftPosit support for Herbie
Keywords: floating-point|posits