p-adic valuation under insufficient p-adic precision

[Max Alekseyev <maxale@gmail.com>]

We have for example:

? valuation(O(2^3),2)
%1 = 3

but in reality we can tell only that the 2-adic valuation here is >= 3. 

Should it instead give an error that the precision is insufficient for computing valuation?

Regards,

Max