[Numpy-discussion] Proposal for new function to determine if a float contains an integer