module __float64__is_pos_inf(
  input wire [63:0] f,
  output wire out
);
  wire [10:0] f_bexp__1;
  wire [51:0] f_fraction__1;
  wire f_sign;
  assign f_bexp__1 = f[62:52];
  assign f_fraction__1 = f[51:0];
  assign f_sign = f[63:63];
  assign out = ~(f_bexp__1 != 11'h7ff | f_fraction__1 != 52'h0_0000_0000_0000 | f_sign);
endmodule