create or replace function double_precision_factorial(n) as (
  list_product( range(1, n+1) )
);