$mid = int( ( $lo + $hi ) / 2 );
    if ( $hi == $lo ) { return $mid }