fixed int-division bug
update_exact evidence and many_samples