module __float64__unflatten(
  input wire [63:0] f,
  output wire [63:0] out
);
  assign out = {f[63], f[62:52], f[51:0]};
endmodule