Arduino String class extension