Syntax definition cdp2

Description: Constant used for decimal fraction constructor. See df-dp2 .

	Ref	Expression
Assertion	cdp2	Could not format assertion : No typesetting found for class _ A B with typecode class