Fix #158: Implement java.util.Random.nextLong()