WCPU numbers in top?

[walt]

I'm seeing WCPU numbers as high as 1200% in top,
while CPU numbers seem appropriate.  Is this the
intended behavior?