numhask-0.0.9: A numeric prelude