Haxhmap datatypes, String.format locale