(i) investigating numerical instability (cf. Javahurt p 57 et seq), (ii) running various programs (cf. Borneo spec. polynomial evaluation) that make sense rounding up and down. and (iii) interval arithmetic, discussed below.