Use wcstoimax and wcstoumax instead of strtoimax and strtoumax in printf builtin