So I’m continuing this, and now looking at fl2/. I have both Neil’s original implementation (not the one from crlibm) and the one from that same paper, and both produce nan for the call: (fl2/ 0.0 0.0 -inf.0 0.0).

Code here: https://github.com/samth/math/blob/revert-crlibm/math-lib/math/private/flonum/expansion/expansion-base.rkt#L292-L316

I also looked and crlibm does not cite any sources

However, a DSL doesn’t have to be something defined as a custom #lang. In a general sense, a DSL can be anything that is close to a domain-specific vocabulary. So you can write DSLs also without custom #langs and even without macros. Then again, the more expressive the programming language/programming tools are, the more options you have.

I finished up the PR, mostly. I’m interested in your thoughts.

I would like to but I can’t promise a time frame (my wife & I just welcomed a child, so I’m only working when the baby is sleeping)