Module 0100: Floating point numbers
Module content (HTML generated by htlatex)