bolzano-weierstrass gh-pages master praying_mantissa