An exact probability numerator / denominator, both from binomial coefficients.
numerator / denominator
Whether p <= alpha / 1_000_000, decided exactly.
p <= alpha / 1_000_000
floor(p * 1_000_000), by long division, so nothing overflows.
floor(p * 1_000_000)