ln10hi
return(logf(x)/ln10hi);
vc(ln10hi, 2.3025850929940456790E0 ,5d8d,4113,a8ac,ddaa, 2, .935D8DDDAAA8AC)
#define ln10hi vccast(ln10hi)
return(log(x)/ln10hi);