intfloat: Don't use designated initializers in the public headers