timestamp microsecond precision

Hi MonetDB people,

Do the TIME(STAMP) types support microsecond precision? They accept a 'postint' argument, but no matter what I set it to it looks like the timestamp is rounded to milliseconds.

greetings,