22/7って円周率の近似だよな