[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?