set precision to something reasonable on BasicPropertyType::toString()