Data.Number.Transfinite
class
Transfinite
a
log