implement bignum binary reduction