On 01/22/2018 02:56 AM, Alex Bennée wrote: > > Richard Henderson <richard.hender...@linaro.org> writes: > >> All direct users of this field want an integral value. Drop all >> of the extra casting between uint64_t and float64. > > Did the extra casting ever generate superfluous code?
No, it's just ugly. r~
