ychr-0.1.0.0: test/golden/arith_bignum/mul_above_2_64.goal

arith_bignum:t(mul_above_2_64, R)