Real numbers under addition

GPTKB entity