is fact(126)/5^32 an integer?