HomeSearchLibrary
Floating point numbers | OmniWiki