Nonsingularity under data rounding