Portal links provide wrongly encoded portal location

in Report a Bug
environment: iOS, german locale
Ingress scanner provides the following link to a portal. If you open it with your web browser apparently it uses the ofl query parameter to redirect to the proper location. That said my scanner created this link
this will be redirected to
but proper url would be
ofl should enforce . (point) as decimal spacer instead of , (comma) , apparently the locale based decimal spacer.
tl;dr
IS
ofl=https%3a%2f%2fintel.ingress.com%2fintel%3fpll%3d53%2c484992%2c10%2c158019
SHOULD BE
ofl=https%3a%2f%2fintel.ingress.com%2fintel%3fpll%3d53.484992%2c10.158019
1