building:levels=1.0 Jaworzno

Zauważyłem, że mamy sporo budynków w Polsce z building:levels=1.0, aktualnie 25190 wg https://taginfo.geofabrik.de/europe/poland/tags/?key=building%3Alevels&value=1.0#overview
Głównie w Jaworznie, dodane w tym changesecie: https://www.openstreetmap.org/changeset/15251482

Być może warto to zmienić na building:levels=1?
Podobnie problem występuje dla innych liczb pięter.
Czy kiedykolwiek wartość building:levels=N.0 jest sensowna i ma inne znaczenie niż building:levels=N?

Edit: Zauważyłem, że mamy większość takich budynków na świecie wg https://taginfo.openstreetmap.org/tags/?key=building%3Alevels&value=1.0

Pytanie tylko czy to jest jedna kondyhnacja czy całkiem bublowate dane?

Jeśli rzeczywiście te budynki mają jedną kondygnację nad ziemią to przetagować na 1 jako literówkę

Jeśli dane są ogólnie bublowate to całkiem tag skasować.

Wiki nic nie wspomina o ułamkowych częściach pięter i rzeczywiście występują także inne takie liczby - z nich najwięcej na świecie jest building:levels=1.5. Ale są też 2.5, 3.5 oraz… 1.4.
Jeśli takie zapisy są poprawne (a tu mam wątpliwości), to i zapis 1.0 jest poprawny, mimo że można go uprościć do 1.

Raczej nie, bo 1.0 to to samo co 1 w tym przypadku.
Przy okazji edycji danego obiektu możesz zmienić, ale nie żeby specjalnie robić edycje.

Podejrzewam, że połówki oznaczają sytuację, kiedy jest konstrukcja dachu (nie jest płaski), ale nie jest to kondygnacja mieszkalna.