Fix Python simplerandom.random jumpahead() function.