defined to avoid problems with the static type checker

discrete()