, Что самый быстрый путь состоит в том, чтобы усечь метки времени к 5 минутам в Пост-ГРЭС?

Пост-ГРЭС может круглые (усеченные) метки времени с помощью функции date_trunc, как это:

date_trunc('hour', val)
date_trunc('minute', val)

я ищу способ усечь метку времени к ближайшей 5-минутной границе, таким образом, например, 14:26:57 становится 14:25:00. Простой способ сделать это похож на это:

date_trunc('hour', val) + date_part('minute', val)::int / 5 * interval '5 min'

, Так как это - критическая по отношению к исполнению часть запроса, я задаюсь вопросом, является ли это быстрым решением, или существует ли некоторый ярлык (совместимый с Пост-ГРЭС 8.1 +), что я пропустил.