module __float64__qnan(
  output wire [63:0] out
);
  wire [63:0] literal_31 = {1'h0, 11'h7ff, 52'h8_0000_0000_0000};

  assign out = literal_31;
endmodule