Revert to previous numeric_normalize() coding