felem_scalar64
felem_scalar64(ftmp2, 3); /* ftmp2[i] < 2^61 */
felem_scalar64(ftmp, 8); /* ftmp[i] < 2^59 */
felem_scalar64(beta, 4); /* beta[i] < 2^58 */
felem_scalar64(ftmp5, 2); /* ftmp5[i] < 2^57 */
felem_scalar64(ftmp, 2); /* ftmp[i] < 2^57 */
felem_scalar64(ftmp4, 2); /* ftmp4[i] < 2^57 */
felem_scalar64(ftmp2, 3);
felem_scalar64(ftmp, 8);
felem_scalar64(beta, 4);
felem_scalar64(ftmp5, 2);
felem_scalar64(ftmp, 2);
felem_scalar64(ftmp4, 2);