The page was mentioned here, and a comment as made on linking to floating-point-gui.de as well. What do you think?