remove docs, add old real numbers code