The code for supporting degree 4096 to 8191 unfortunately uses `EvalString`, we should get rid of that again.