Arduino library for random numbers with Python Random interface - View it on GitHub