+1 for the question.
you mean double support in the Pixel Bender language? That isn't on the books right now because not many graphics cards support it, but we'll add it to the list for the future.
thanks for the suggestion!
You might take a look at this. It shows you how you can emulate long numbers in GLSL which will translate to PixelBender. I've not tried it yet though: