module __float64__is_zero_or_subnormal(
  input wire [63:0] f,
  output wire out
);
  wire [10:0] f_bexp;
  assign f_bexp = f[62:52];
  assign out = f_bexp == 11'h000;
endmodule