666acc9b7a
doctest: Add +NUMBER option to ignore irrelevant floating-point differences
doctest: Add +NUMBER option to ignore irrelevant floating-point differences