twom54
return (twom54 * y);
return (x * twom54);
twom54 = 5.5511151231257827021181583404541015625e-17;
return (x * twom54);
static const double twom54 = 5.5511151231257827021181583404541015625e-17;