package float64

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/float64.x"

top fn __float64__bias(unbiased_exponent_in: bits[11] id=13) -> bits[11] {
  BIAS: bits[11] = literal(value=1023, id=22, pos=[(1,343,38), (2,55,17)])
  ret add.24: bits[11] = add(unbiased_exponent_in, BIAS, id=24, pos=[(1,344,5), (2,55,17)])
}