Cross Reference: /hets/HasCASL/test/Double.hascasl