Text this: Quantitative Semantics for Jumping Automata