Module run 

Structs

Width

Instants a ladder instruction steps: an instant’s IEEE operations and their order are the same at every width, none fused.

Functions

at

Horner’s rule in the rotor, whose turns are reduced from the exact product.

bound

|at(run, t) - S(t)| at every finite t, given sin and cos within 2^-52.

each

at at each of t: every instant’s sum takes the operations at does, in its order.

each_at

reach

The largest magnitude the exact sum reaches, rounded up.

steps

A conjugate mirror takes none of its own.