remove xaos deps, fix real numbers code