Text this: Theories of real addition with and without a predicate for integers