Deberias leerte la hoja de datos del micro que usas, especialmente el capitulo de Vref, para entenderlo.
No todos los PICs tienen los mismos rangos de valores.
La tension de Vref no es mas que una salida analogica de uso interno, que es una red R2R de 16 a 32 pasos.
El valor que seteas es precisamente en que paso vas a establecer la salida de la red R2R.
O sea, que tension entregara la salida Vref.
Por eso las formulas para calcular esa tension de salida.