Real Numbers That Are Not Integers