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__qnan() -> (bits[1], bits[11], bits[52]) {
  ret literal.30: (bits[1], bits[11], bits[52]) = literal(value=(0, 2047, 2251799813685248), id=30, pos=[(2,26,36)])
}