Tweak 'pull_astro_coords' to convert FloatElement->Float.

Mostly this works OK without, but occasionally we want
to check if it's a float type... and FloatElement isn't
a derived child type.