[Numpy-discussion] Re: Should we revert float16 loops (and what are the precision requirements)?