Although there are still issues to resolve around the libmath/fdlibm library, I've been working around them for now. I wanted to perform some more tests of the floating point support, so I revised a crude Mandelbrot set plotter that I wrote a few years ago so that it could output ANSI escape codes instead of drawing to the framebuffer. This results in a quick visual test that can be compared with output from other systems.
It's a bit frivolous, but it's nice to see that the output produced by hosted Inferno on my 64-bit AMD desktop machine looks the same as that produced by the Apollo3 board.