felem_scalar128
felem_scalar128(tmp2, 8); /* tmp2[i] < 2^118 */
felem_scalar128(tmp2, 2); /* tmp2[i] < 2^116 */
felem_scalar128(tmp2, 8);
felem_scalar128(tmp2, 2);