[Numpy-discussion] Large numbers into float128