minor change

notice: you can change the “top_value”. it’s 10^9 for now.