Javascript random number generators for various distributions