Fix truncation of division result in EstimateNormalPrimeProbability().