I am wondering what is the operator in python corresponding to the opcode kReducePrecision. Thanks for any hint.