Speed up disambiguation by using a faster operator<= for rational number and avoid trying to shorten tuplet ttl if we know it is doubled.