Problem: State for ProximityEntity is a string
On the contrary, it is always measured in km, miles or other distance units.
Solution: Alter Code Generator
Use NumericEntityState to define ProximityEntity:
public record ProximityEntity : Entity<ProximityEntity, NumericEntityState<ProximityAttributes>, ProximityAttributes>
More Info
Reference: Proximity Integration