(check (= (to-string 20) "20"))