module __fixed_point__is_negative(
  input wire [31:0] binary_exponent,
  output wire [31:0] out
);
  assign out = {31'h0000_0000, binary_exponent[31]};
endmodule