DEF' DECIMAL DEFAULT-ORDER
DEF' DEF'

[] no special info, see general notes

EXTENSIONS useful obsolete immediate