Do you know a good reference to learn more about this (quantizing weigths to 1.58 bits, and trit arithmetic)?