DOUBLE: DOUBLE:

[] no special info, see general notes

EXTENSIONS structs ordinary primitive