fix millerrabin