c++ 是否保证 (int)floor(a) 与数学意义上的 $\lfloor a\rfloor$ 相等？（即不会因为 double 转 int 误差使得其在 double 中是对的，转换后是错的）