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