円周率は恐らく割り切れんやろ