Added some references for padicprec