Explictly check upper bound to satisfy SVACE when using strtoul