Dtype.dw_norm: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/dtype.bend as Dtype
Lines 521-524 of bendtorch@1.3.0.0/dtype.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/dtype.bend&start_line=521&end_line=524

import Base

# hi + lo when |hi| >= |lo| (Fast2Sum), as a renormalized pair
def dw_norm(+s: F32, +e: F32) -> DW:
  +h = (s + e : F32)
  DW{h, (e - (h - s : F32) : F32)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=DW