Am I missing something? Can `kMaxNumFracDefs` ever be less than itself?