fpu_normalize
fpu_normalize(pz);
if (z[0] < 0x10000) fpu_normalize(pz);
fpu_normalize(pu);
fpu_normalize(pu);
fpu_normalize(pu);
fpu_normalize(pu);
fpu_normalize(pu);
fpu_normalize(pu);
extern void fpu_normalize(unpacked *);