Added SOMOS reference for padicprec