external rotate      : float -> float -> float -> float -> t = "matrix_rotate"