From: Janne H. <jjh...@gm...> - 2005-04-25 02:27:38
|
Hi, > val one_big_int : big_int > val two_big_int : big_int ... > val hundred_big_int : big_int Is there some reason (other than optimization) for not using big_int_of_int instead? Best regards, Janne |