Module For_native_base_field.Scalar