Such a transition from the discrete to the continuous is precisely the point of Nelson's Radically Elementary Probability Theory (REPT).   It recently turned out that when viewed as a subsystem of BST, REPT is conservative over ZF+ADC.