Rounded timestamp utilities, useful for creating redis keys etc