module __hfloat16__has_negative_exponent(
  input wire [15:0] f,
  output wire out
);
  wire [4:0] f_bexp__1;
  assign f_bexp__1 = f[14:10];
  assign out = ~(f_bexp__1[4] | (&f_bexp__1[3:0]));
endmodule