module __float32__is_zero_or_subnormal(
  input wire [31:0] f,
  output wire out
);
  wire [7:0] f_bexp;
  assign f_bexp = f[30:23];
  assign out = f_bexp == 8'h00;
endmodule