serious bugfix in Raise_IdxError (number got formatted as string, causing a segmentat...