Python library of efficient and numerically-precise randomness extractors - View it on GitHub