added the global setting for bigint_to_double in dj.set