module __float64__subnormals_to_zero(
  input wire [63:0] f,
  output wire [63:0] out
);
  wire [10:0] f_bexp__1;
  wire f_sign;
  assign f_bexp__1 = f[62:52];
  assign f_sign = f[63:63];
  assign out = {f_sign, f_bexp__1, f[51:0] & {52{f_bexp__1 != 11'h000}}};
endmodule