Robert, I have uploaded a new version of the facets for nonfinite numbers. I have rewritten the sections in the documentation on how to use the facets with serialization archives. Could you take a look at it, and see if you can give it your seal of approval :-) Thank you, Johan Råde