Higher only. Quoting an answer to a suitable degree of accuracy by computing upper and lower bounds and keeping only the figures on which both agree, e.g. bounds 8.63 and 8.68 justify 8.6. Assumes bounds arithmetic; the Foundation judgement version lives on choosing-accuracy. (N15, N16)