On Fri, May 20, 2022 at 04:04:29PM -0700, Nathan Bossart wrote:
> I think there is a typo in the change to the jit_optimization_time section,
> but otherwise it looks good to me.
Yes, as of "double precisiodouble precision". All these four fields
are indeed doubles in the code, for what looks like a copy-pasto from
57d6aea. Will fix.
--
Michael