Lines Matching full:decimal
731 // <number> ::= [n] <non-negative decimal integer>
1255 // <number> ::= [n] <non-negative decimal integer>
1933 // UNSUPPORTED: ::= Dd # IEEE 754r decimal floating point (64 bits)
1934 // UNSUPPORTED: ::= De # IEEE 754r decimal floating point (128 bits)
1935 // UNSUPPORTED: ::= Df # IEEE 754r decimal floating point (32 bits)