bench/ball_float API
bench/ball_float 包含 floating 的区间（球）算术基准测试。它是一个仅用于测试的包：所有内容都位于基于 bench 工具包的 *_test.mbt 文件中，不导出任何 MoonBit 项。本页记录它定义的基准用例；教程介绍如何运行它们，设计页面解释其工作负载。
基准用例
| 用例 | 数据集 | 实现 | 协议 |
|---|---|---|---|
ball-float/add, ball-float/mul, ball-float/div | 53、128、512、2048 位 | kernel/bin-float (BinFloat), core/ball-float (BallFloat), full/checked (BallFloatResult) | Development |
每个规格都有一个计划测试，它在常规测试运行中执行并检查规格能否编译（ball benchmark plans compile），还有一个标记为 #skip("performance benchmark") 的性能测试，只有 tools/benchmark.py 会运行它。性能测试将每个观测以 MAREMARK_JSONL= 行的形式输出，并将归约结果打印为 MAREMARK_HOTSPOT=ball-float/OP/DATASET core_pct=… full_pct=…。
完整公共接口
该包不导出任何 MoonBit 项。
// Generated using `moon info`, DON'T EDIT IT
package "Luna-Flow/floating/bench/ball_float"
// Values
// Errors
// Types and methods
// Type aliases
// Traits