external plus     : t -> t -> t = "vec4_plus"