... =>(2*1)::(DOUBLE [2,3]) ->">