Hagerup, T. PAL - A Language for Multiple-Precision Algorithms. DPB 1983, 12.