Some more places I need to explicitly set the type of literals as single-float so that it builds with (setf *read-default-float-format* 'double-float)
Some more places I need to explicitly set the type of literals as single-float so that it builds with `(setf *read-default-float-format* 'double-float)`