nrv_alloc        3220 util.c                     return nrv_alloc("Infinity", rve, 8);
nrv_alloc        3222 util.c                 return nrv_alloc("NaN", rve, 3);
nrv_alloc        3230 util.c                 return nrv_alloc("0", rve, 1);