module __fixed_point__binary_uexponent(
  input wire [31:0] binary_exponent,
  output wire [31:0] out
);
  assign out = binary_exponent[31] ? -binary_exponent : binary_exponent;
endmodule