https://griddle-reviews.blogspot.com/2022/11/convert-string-to-either-integer-or.html