See __float__.