module __float32__unflatten(
  input wire [31:0] f,
  output wire [31:0] out
);
  assign out = {f[31], f[30:23], f[22:0]};
endmodule