Paranoia sets a reliable value base_iny which is used in the summary of arithmetic without gradual underflow. The utility does_tiny_value_misbehave() gives some assurance of a well-behaved value.
# Now consolidate the three triples of tiny results into the values
# from the loop computation. Break into several cases...
# This defines base_tiny, which may be needed as a final result in some
# anomalous arithmetics.
if does_tiny_value_misbehave(min_positive):
base_tiny = less_tiny_B # Back up by a factor of 1/H, for CDC 7600
else:
base_tiny = min_positive