Add support in mongodb for choosing any integer field as the 'time' field