That is why we use things like io-ts. t.Int is a branded type that ensures number is whole and greater than 0.