Skip to content

Plus, Times with an inexact zero: carry its accuracy, as in WMA - #2058

Merged
tombouctou merged 6 commits into
masterfrom
plus-times-inexact-zero
Oct 20, 2026
Merged

tombouctou merged 6 commits into
masterfrom
plus-times-inexact-zero

Commits

  1. Commits on Oct 19, 2026

  2. Commits on Oct 20, 2026