I wonder if this / gradient descent would work with integers, and with mod 2^n as the nonlinearity.