Convert NominalMagnification into Float, see #9473

This is to allow objectives to be non-integer values, e.g x0.5
The downgrade strips non-integer values.