l,rからaを引くとちょうどmの倍数と比べれば良いが
lを非負にすると基本的にmの倍数とずれるので俺の実装力では細かい処理でつまづきそうな気がする
それよりは解説にあるfloor関数をマイライブラリに追加しておく方が考えることが少なくて楽だと思う
もしうまくいったら教えてくれ