二引数の床関数です。