correct docs w.r.t. spire.syntax.radix