[MonetDB-users] date/time conversions

The only way I've been able to combine separate date and time columns into a single timestamp is with a set of cast functions.

e.g. select cast(cast(date as varchar(10)) || ' ' || cast(time as varchar(10)) as timestamp(3)) from sometable;

Does anyone know of an easier/more elegant solution?