Text this: Formal Methods for Quantitative Aspects of Programming Languages