Use our random library.