Preserving numerical program properties under computing uncertainties