Is 3.050050005 an integer