other
(in-package "STR")
other
(include-book "decimal")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (equal (strval "") nil))
other
(assert! (equal (strval "0") 0))
other
(assert! (equal (strval "1234") 1234))