numhask-0.0.7: A numeric prelude