Numeric-aware diff tool for comparing files with small numeric differences