let int i = Node.text (string_of_int i)