clarification of conversion rules for ideal numbers
clarification of conversion rules for ideal numbers

R=r
DELTA=21  (11 added, 1 deleted, 9 changed)
OCL=17316
CL=17316

tav/go,tav/go,tav/go,tav/go,tav/go,tav/go,tav/go