Ionospheric map delay question

[EmmanuelMess]

The ionospheric map delay is implemented as: https://github.com/commaai/laika/blob/a0f0c7938a01ec4401684e45ea773cc66cac7f18/laika/iono.py#L145-L159

where the factor is 40.30E16 / (freq**2) * 10**(self.exp) , was this tested? Is the constant's exponent correct?

See https://iers-conventions.obspm.fr/content/tn36.pdf equations 9.14 to 9.41.