module __float64__negate(
  input wire [63:0] x,
  output wire [63:0] out
);
  wire x_sign__1;
  wire [10:0] x_bexp__1;
  wire [51:0] x_fraction__1;
  assign x_sign__1 = x[63:63];
  assign x_bexp__1 = x[62:52];
  assign x_fraction__1 = x[51:0];
  assign out = {~x_sign__1, x_bexp__1, x_fraction__1};
endmodule