Jak wyciągnąć w UDF milisekundy z TIMESTAMP-a

Witam,
Funkcja isc_decode_timestamp dekoduje stempel czasowy do struktury tm a wiadomo w niej nie ma milisekund.
Podrzuciłem jej zamiast tm timeval ale wyniki były kosmos więc chyba nie tędy droga.
Nie mogę doszukać się innej funkcji a zapis timestamp-a do łańcucha znakowego i cięcie mało eleganckie.

Zostaje zagłębić się w źródła EXTRACT-a?

Pozdrawiam

EXTRACT (MILLISECOND FROM <datetime>)

To to ja wiem ale chodzi o wyciągnięcie tego na poziomie funkcji w C której argumentem jest ISC_TIMESTAMP.