Using generic and/or/not with reals