Implement Tstamp multiplication.