Quantitative strongest post: a calculus for reasoning about the flow of quantitative information