1<=a,b,p<=10^18

c=[a*b/p] (向下取整),当a,b<p时,c一定也小于p，即c在18位以内，故long double足够胜任保存整数部分的精确值c

为什么c小于p，c就在18位以内？

算出的c可能比实际小1，但这在取模意义下并不影响结果的正确性

为什么不影响？