numhask-0.1.2: A numeric prelude