felem_sum64
felem_sum64(ftmp2, delta); /* ftmp2[i] < 2^59 */
felem_sum64(delta, gamma); /* delta[i] < 2^57 */
felem_sum64(ftmp, z_in); /* ftmp[i] < 2^56 */
felem_sum64(ftmp5, z2); /* ftmp5[i] < 2^57 */
felem_sum64(ftmp2, delta);
felem_sum64(delta, gamma);
felem_sum64(ftmp, z_in);
felem_sum64(ftmp5, z2);