abstract away Big_int; add Int64 replacement

so it works in JS