subtypep-real.lsp 4.25 KB