numhask-0.1.3: A numeric prelude