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