Text this: Safety and Liveness of Quantitative Properties and Automata