https://github.com/TBRSS/floating-point-contractions.git
git clone 'https://github.com/TBRSS/floating-point-contractions.git' (ql:quickload :floating-point-contractions)