I haven't been able to find any information on this, but I think that if someone knows it, it's someone here. I need it for some theoretical knowledge about lambda calculus and compiler optimizations.

EDIT: Moved to http://math.stackexchange.com/questions/29697/how-are-fractional-numbers-most-effectively-encoded-in-lambda-calculus