math/double_with_tolerance library