{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1700340352,"commit_time":1700340352,"committer":"GitHub","committer_email":"noreply@github.com","hash":"f02e17a96783a219f63e0db42a601985a0ffdb57","message":"Variable.num -> NumNode (#2354)\n\n","parents":["40246d35bc30729f84dc84a38292c1e78787d1c4"],"tree_hash":"57394f9f04ebd7ca3e02decedd1b58b09d325f0e"}