単位の数Uがあって、nとUに対して
int(n/U)*U
を返す関数はどういう名前がいいだろう