[Name] double-bag [Return Value] A bag of http://www.w3.org/2001/XMLSchema#double containing all the argument values. [Arguments] 
Zero or more attribute values of http://www.w3.org/2001/XMLSchema#double