Require a decimal point in both numbers to avoid cases like https://trac.openstreetmap.org/ticket/4884