User-defined literal, overload operator