binary-op-arbitrary-precision