module __fixed_point__binary_exponent_after_truncation(
  input wire [31:0] num_bits_result,
  input wire [31:0] num_bits_a,
  input wire [31:0] binary_exponent_a,
  output wire [31:0] out
);
  wire [31:0] bits_reduced_by;
  wire uge_52;
  wire [31:0] add_55;
  assign bits_reduced_by = num_bits_a - num_bits_result;
  assign uge_52 = num_bits_a >= num_bits_result;
  assign add_55 = binary_exponent_a + bits_reduced_by;
  assign out = add_55;
endmodule