Weight of manual disambiguation, as a number between 0 and 1. Meant for rare cases only, unused today.
NUTOKEN