Does PHP have separate int and float types? NaN is a float value and I would expect 0 to be an int.