module __float32__flatten(
  input wire [31:0] f,
  output wire [31:0] out
);
  wire f_sign;
  wire [7:0] f_bexp;
  wire [22:0] f_fraction;
  assign f_sign = f[31:31];
  assign f_bexp = f[30:23];
  assign f_fraction = f[22:0];
  assign out = {f_sign, f_bexp, f_fraction};
endmodule