Changed biggest_until_MAX to be imp. agnostic