*In reply to desperadorocks:*Yes, a number of tools have recently added support for real types where previously restricted to integrals. You need to contact your vendor for exactly what kind of features are supported as none of this is in the LRM.
I would assume that only constraints involving ranges or limits to non-random variables would be allowed here.