Remove more digits from doctests to get success