Wil,

I think the power of calculation goes via a REAL construction.