module __float64__min_normal_exp(
  output wire [10:0] out
);
  assign out = 11'h402;
endmodule