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