felem_diff128
felem_diff128(tmp, tmp2); /* tmp[i] < 2^127 + 2^119 + 2^111 */
felem_diff128(tmp, tmp2); /* tmp[i] < 2^127 + 2^116 + 2^111 */
felem_diff128(tmp, tmp2);