In what treatise did negative numbers first appear?