Docs correction for Number::precision()