[Numpy-discussion] Rounding to next lowest float