datatype for x10