add pi_3(S^2) = Z, close #539