tidb分区表 timestamp(3)类型作为分区键的无解问题

小哥哥你好，这个建表语句下分区裁剪是没有问题的，但是floor()函数有一个浮点数的进度问题，数据会落错分区，导致分区裁剪后数据查不出来，在论坛沟通后(tidb 对应时间点的数据在所在时间范围内查询不到)帖子在这里，分区的写法变成了PARTITION BY RANGE (FLOOR(UNIX_TIMESTAMP(start_time)*1000))，之后分区裁剪不生效了。