def dw_norm
import bendtorch@1.3.0.0/dtype.bend as Dtypeimport Base
521# hi + lo when |hi| >= |lo| (Fast2Sum), as a renormalized pair
522def dw_norm(+s: F32, +e: F32) -> DW:
523 +h = (s + e : F32)
524 DW{h, (e - (h - s : F32) : F32)}
import bendtorch@1.3.0.0/dtype.bend as Dtypeimport Base
521# hi + lo when |hi| >= |lo| (Fast2Sum), as a renormalized pair
522def dw_norm(+s: F32, +e: F32) -> DW:
523 +h = (s + e : F32)
524 DW{h, (e - (h - s : F32) : F32)}