Add upper bound for valuation in t-diagfrob
Move "frobBound" to precisions.m