println random_number(); println 1 == to_int("1");