De kolom value in metrics was oorspronkelijk aangemaakt als «string tot 20 tekens» — een overblijfsel van een CSV-import. Erin staan getallen die als strings zijn opgeslagen: «100.50», «250.00», «999.99». Er in SQL mee rekenen is lastig — tijd om de kolom om te zetten naar een echt numeriek type. Bouw metrics met id (primary key) en value (string tot 20 tekens), voeg drie numerieke strings in en wijzig daarna het kolomtype naar een getal met twee decimalen — voor de conversie heb je een expliciete cast nodig. Als de data een niet-getal bevatte, zou de typewijziging mislukken; de onze is schoon.