module __bfloat16__has_fractional_part(
  input wire [15:0] f,
  output wire out
);
  wire [7:0] f_bexp__1;
  assign f_bexp__1 = f[14:7];
  assign out = f_bexp__1 < 8'h86;
endmodule