external rotate_quat : Quat.t -> t = "matrix_rotate_quat"