They're all added under the `foo64` names with the `foo64` types added as well,
so they still need to be explicitly chosen.