use python format() string for repr