web_random

A js_ffi library for generating random numbers in browser.