我可以在JPA CriteriaQuery中使用FLOOR（）吗

使用常规的MySQL，我可以根据一个公共的“ID”对记录进行人工分组，查询如下

SELECT FLOOR(ID / 4) as GroupID FROM Table;

假设我的ID是连续的，这将为我提供具有相同GroupID的4个组

---

我的问题是，这可以在JPA中通过标准查询实现吗？我可以看到有一个CriteriaBuilder.prod（）方法（可用于除法），但如何将结果转换为一个直整数？

好的，我看到实际上有一些转换方法：