extended-reals

https://github.com/tpapp/extended-reals.git

git clone 'https://github.com/tpapp/extended-reals.git'

(ql:quickload :extended-reals)
★1

(78 111 116 32 70 111 117 110 100)