> threadedBigPrime [ 62478923478923409323,   69478923478923409313,  79234790234098402349,
           33498023480920234793,  92834098234098023409,  31908234098234098243,
           92873400002348028833,  73498200234098200239,  4349023423478999243,
           13480234982340982343,  62478923478925971503,  5340823480234982007,
           134802349691098498233, 81780923490092302251,  802487292348792949 ] ;

val it = [[1463103844669601, 42703], [1463103844669541, 42703]]:

(* numbers *)
> List.map (List.foldr IntInf.* 1 ) it ;
val it = [62478923478925971503, 62478923478923409323]: IntInf.int list