use alea module for PRNGs