MichaelStJules comments on An Epistemic Defense of Rounding Down