doctest如何决定使用哪种类型的默认规则？
我已经编写了几个我想默认为Double（因为RealFrac或Floating上下文）的文档测试而是因为它们默认为Integer而失败了并且相关的实例（有充分理由）缺失。
我尝试将default (Integer, Double)添加到我的$setup命名块中，但效果不明显。
我尝试将-XExtendedDefaultRules选项添加到doctest的调用中，也没有明显效果。即使我不认为我的特定示例实际上需要扩展的默认规则，我也这样做了。