Racket 球拍中需要数学/基础问题

为什么第一个有效，第二个无效

(require/typed (planet williams/science/random-source) [random-integer (Integer -> Integer)])
(require/typed math/base [random-integer (Integer Integer -> Integer)])

第二个生成一个错误，告诉我在我的文件夹中没有math/base的文件或目录。我的球拍分配（V5.3）是否可能遗漏了这一点？如果是，原因是什么？我怎样才能最好地解决这个问题

还是我只是犯了个严重的错误？对不起，所有的noob问题

我在这里的尝试是基于

---

哦，如果相关的话，我相信我正在OSX上运行64位发行版。

我没有安装模块。我是5.3版本的，这个模块从5.3.2版本开始就存在了。。。查看V5.3.2的发行说明，我猜我根本没有安装math/base的li'l包。我正在重新安装，我们将看到这将给我们带来什么好处。顺便说一句：

require/typed

函数不需要使用

random integer

，因为数学库是用typed Racket编写的。只要一个

（需要数学/基础）

就可以了。好的，谢谢！有道理，听起来不错！当系统允许时，接受此答案。；）