float64_mul
[MUF_CODE >> 20] = float64_mul,
[FML_CODE >> 20] = float64_mul,
float64 float64_mul( struct roundingData *, float64, float64 );
extern unsigned long long float64_mul(unsigned long long a,
llx = float64_mul(llx, lly);
float64 float64_mul(float64 a, float64 b);