> > CURRENT_TIMESTAMP + (1.000 / 1440.000)
>
> I bit cumbersome but you are right it does work :)
> Can we get this to work any other way?

Don't know which is the most cumbersome, but you may

a) move the decimals
CURRENT_TIMESTAMP + (1 / 1440.00000)

b) use cast
CURRENT_TIMESTAMP + (1 / cast (1440 as numeric(6,5))

Set