Test whether FieldVector correctly exports value_type