@Migueldeicaza@mastodon.social As a European: I know that's a sign for gas prices but I haven't got the slightest idea how to interpret those numbers. What are the units? What's that weird 9/10 at the end?