gapを広くとって並び替えてgapを1.3で割った値を新しいgapとするというわけだけど、1.3で割るってなんか計算の効率が悪そうな気がした。整数で計算するには『１０倍してから１３で割る』とか『１００倍して１３０で割る』などとするけど、もう少し速くできそ…