01.2047-100How Gmail splits numbers: a space or a dash separates them, a dot is a decimal point.
In a query, Gmail separates two numbers with a space or a dash, and treats a dot as a decimal point. Google gives the example 01.2047-100, read as two numbers: 01.2047 and 100.
01.2047-100Open in Gmail ↗Read as 01.2047 then 100, not as a single reference.