private static int gte(int a, int b) {
    a -= b;
    // a >= 0 iff a >= b.
    return ~(a >> 31);
  }
returns 0xffffffff if a >= b and zero otherwise, where a and b are both non-negative.
java_src/src/main/java/com/google/crypto/tink/internal/Field25519.java