external dot      : t -> t -> float = "vec2_dot"