external rotate_vec3 : float -> Vec3.t -> t = "matrix_rotate_vec3"