I've been working on this problem on and off for over 10 years.
AMA ;-)
replies(10):
From what I recall they are converting it to triangles. Your solution (curves in the shaders?) seems both cheaper and more accurate, so I'm wondering if they could use it!