Hyperreal (with Kučka)

GPTKB entity