A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Simplicity, usability, clarity, and extensibility are the overarching goals, rather than performance or optimization.
I started playing around with floating point at the end of last year. I have some (incomplete/minimal) code here and here, in case that helps at all. I also think @Jbalkind was doing something with a FP adder in 154.
We could use a good fixed point arithmetic library (probably signed).