The purpose of carrier phase ambiguity resolution is to improve upon the qu
ality of the estimated global navigation satellite system baseline by means
of the integer ambiguity constraints. However, in order to evaluate the qu
ality of the ambiguity resolved baseline rigorously, its probability distri
bution is required. This baseline distribution depends on the random charac
teristics of the estimated integer ambiguities, which in turn depend on the
chosen integer estimator. In this contribution is presented an exact and c
losed-form expression for the baseline distribution in the case that use is
made of integer bootstrapping. Also presented are the bootstrapped probabi
lity mass function and easy-to-compute measures for the bootstrapped baseli
ne's probability of concentration.