numhask-0.0.5: A numeric prelude