Fixed plausibility for Bolzano numbers.