question for hppl compiler people

[Tim Wessman]

You have what is called HP_Real values internally which are BCD encoded floats. Then you have HP_Int which is an integer encoded 64 bit object.

HP_Int will most likely be slightly faster, but to the point of negligence. There are generally more checks and Reals will be checked for and handled first in the trees.