recompute-numbers on s-3: passed
400 - 400 * 0.125 = 350 (exact, Fraction); within 350 ± 0.5
tool: {"name": "credencegraph-extract", "python": "3.15.0", "version": "0.1.dev7+g70142a561.d20261025"}
model: null
