Return true if n is within the range lo through hi, computed (mod 8)