Random number API for Ceylon