  We show: the Floer homology of (nonexact!) integral Lagrangians in an
(nonexact!) integral symplectic manifold can be computed in terms of exact
Lagrangians in an exact filling of the prequantization bundle. As a
consequence, we deduce a comparison to microsheaves. Throughout we work over
the Novikov ring.
