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__unbiased_exponent(f: (bits[1], bits[11], bits[52]) id=20) -> bits[11] {
  f_bexp__1: bits[11] = tuple_index(f, index=1, id=35, pos=[(1,266,6), (2,51,30)])
  literal.39: bits[11] = literal(value=1025, id=39, pos=[(1,266,6), (2,51,30)])
  ret add.40: bits[11] = add(f_bexp__1, literal.39, id=40, pos=[(1,266,6), (2,51,30)])
}