package float64

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

top fn __float64__min_normal_exp() -> bits[11] {
  ret literal.18: bits[11] = literal(value=1026, id=18, pos=[(1,48,67)])
}