[Too late to edit, replying to myself...] That's supposed to be 2**(4/12) and 2**(7/12) above. I forgot to escape the asterisks. (It's exponentiation, not mult

[Too late to edit, replying to myself...] That's supposed to be 2**(4/12) and 2**(7/12) above. I forgot to escape the asterisks. (It's exponentiation, not multiplication.)