Types
DoubleLength = object hi*: float lo*: float
- Source Edit
Procs
proc dl_mul(x: float; y: float): DoubleLength {....raises: [], tags: [], forbids: [].}
- Dekker (5.12) and mul12() Source Edit
func dl_sum(a, b: float): DoubleLength {....raises: [], tags: [], forbids: [].}
- Algorithm 3.1 Error-free transformation of the sum Source Edit