Text this: Quantitative rational verification