F64.add.de: def of bend-kit-f64@0.1.0.0
Import: import bend-kit-f64@0.1.0.0/f64.bend as F64
Lines 693-696 of bend-kit-f64@0.1.0.0/f64.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-f64@0.1.0.0/f64.bend&start_line=693&end_line=696

import Base

def add.de(same: Bool, sa: U32, ea: U32, ma: W2, de: U32, mb: W2) -> F64:
  match ma mb:
    case W2{ah, al} W2{bh, bl}:
      add.pair(same, sa, ea, W4{ah, al, 0, 0}, W4.shr(W4{bh, bl, 0, 0}, de))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.shr
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=add.pair