负数相关的取模和下取整要特判。