float get_maxextra()
Gets the maximum value that get_sumextra() may return.
This is used in optimising searches.