如何在Ada中计算整数的平方根

嗨，我是学习Ada的初学者。有人能告诉我如何在Ada中计算整数的平方根吗？我们需要为它添加任何包吗？

当您查看时，诀窍是知道即使Ada也会将函数名缩短为Sqrt

Ada标准库不包含整数类型的平方根函数，因此您必须：

将整数转换为浮点类型，使用标准库，然后再转换回， 或

编写自己的整数平方根函数。

---

您是否使用任何资源来学习Ada？他们怎么说数学？